| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/ginac: bump to 1.8.6 |  Andrey Grozin | 2023-02-17 | 3 | -0/+89 |
* | sci-mathematics/coq-serapi: drop old 0.16.0-r1 |  Maciej Barć | 2023-02-17 | 2 | -67/+0 |
* | sci-mathematics/coq-serapi: bump to 0.16.3 |  Maciej Barć | 2023-02-17 | 2 | -0/+70 |
* | sci-mathematics/wxmaxima: remove old versions |  Andrey Grozin | 2023-02-16 | 3 | -160/+0 |
* | sci-mathematics/wxmaxima: bump to 23.02.0 |  Andrey Grozin | 2023-02-16 | 2 | -0/+80 |
* | sci-mathematics/maxima: add python3_11 |  Andrey Grozin | 2023-02-16 | 1 | -0/+228 |
* | sci-mathematics/ginac: remove old versions |  Andrey Grozin | 2023-02-16 | 4 | -161/+0 |
* | sci-mathematics/coq-mathcomp: fix deps |  Maciej Barć | 2023-02-16 | 3 | -5/+14 |
* | sci-mathematics/flocq: fix deps |  Maciej Barć | 2023-02-16 | 1 | -3/+6 |
* | sci-mathematics/gappalib-coq: fix deps; add ocamlopt |  Maciej Barć | 2023-02-16 | 1 | -3/+5 |
* | sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27 |  Ionen Wolkens | 2023-02-15 | 1 | -0/+2 |
* | Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme} |  Michał Górny | 2023-02-14 | 4 | -4/+4 |
* | Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme} |  Michał Górny | 2023-02-14 | 4 | -4/+4 |
* | sci-mathematics/eclib: drop 20220621 |  Michael Orlitzky | 2023-02-09 | 2 | -36/+0 |
* | sci-mathematics/eclib: Stabilize 20221012 amd64, #893528 |  Sam James | 2023-02-07 | 1 | -1/+1 |
* | sci-mathematics/eclib: Stabilize 20221012 x86, #893528 |  Sam James | 2023-02-07 | 1 | -2/+2 |
* | sci-mathematics/primecount: drop 7.4 |  Michael Orlitzky | 2023-02-07 | 2 | -55/+0 |
* | sci-mathematics/primecount: stabilize 7.6 for amd64 |  Michael Orlitzky | 2023-02-07 | 1 | -2/+2 |
* | sci-mathematics/primesieve: drop 8.0 |  Michael Orlitzky | 2023-02-07 | 2 | -51/+0 |
* | sci-mathematics/primesieve: stabilize 11.0 for amd64 |  Michael Orlitzky | 2023-02-07 | 1 | -2/+2 |
* | sci-mathematics/octave: drop 6.4.0-r5 |  Andreas Sturmlechner | 2023-02-07 | 2 | -219/+0 |
* | sci-mathematics/bertini: bump to 1.6 |  Maciej Barć | 2023-02-06 | 2 | -0/+67 |
* | sci-mathematics/opensmt: fix build on musl |  Maciej Barć | 2023-02-06 | 2 | -0/+134 |
* | sci-mathematics/opensmt: drop old 2.4.3 |  Maciej Barć | 2023-02-06 | 1 | -70/+0 |
* | sci-mathematics/minisat: fix build on musl |  Maciej Barć | 2023-02-06 | 2 | -4/+50 |
* | sci-mathematics/vampire: fix build on musl |  Maciej Barć | 2023-02-06 | 3 | -5/+49 |
* | sci-mathematics/lpsolve: add subslot for new version |  Sam James | 2023-02-04 | 1 | -1/+12 |
* | sci-mathematics/lpsolve: add 5.5.2.11 |  Sam James | 2023-02-03 | 3 | -0/+380 |
* | Revert "sci-mathematics/lpsolve: add 5.5.2.11" |  Sam James | 2023-02-03 | 3 | -368/+0 |
* | sci-mathematics/lpsolve: add 5.5.2.11 |  Sam James | 2023-02-03 | 3 | -0/+368 |
* | sci-mathematics/easycrypt: H -> COMMIT |  Maciej Barć | 2023-02-02 | 2 | -10/+10 |
* | sci-mathematics/coq-mathcomp: bump to 1.16.0 |  Maciej Barć | 2023-02-02 | 2 | -0/+18 |
* | sci-mathematics/alt-ergo: drop 2.3.0-r1, 2.4.1_p20220407-r1 |  Andreas Sturmlechner | 2023-01-30 | 3 | -110/+0 |
* | sci-mathematics/alt-ergo: Stabilize 2.4.2-r1 amd64, #892271 |  Sam James | 2023-01-30 | 1 | -2/+2 |
* | sci-mathematics/cvc4: drop 1.7-r1 |  Alfredo Tupone | 2023-01-29 | 4 | -107/+0 |
* | sci-mathematics/picosat: Stabilize 965 amd64, #892299 |  Sam James | 2023-01-28 | 1 | -2/+2 |
* | sci-mathematics/cadabra: Stabilize 2.4.3.2 amd64, #892303 |  Sam James | 2023-01-28 | 1 | -1/+1 |
* | sci-mathematics/smtinterpol: Stabilize 2.5_p20211018 amd64, #892295 |  Sam James | 2023-01-28 | 1 | -2/+2 |
* | sci-mathematics/mathlib-tools: patch to use tomli(-w) |  Maciej Barć | 2023-01-27 | 3 | -6/+93 |
* | sci-mathematics/mathlib-tools: drop old 1.3.1 |  Maciej Barć | 2023-01-27 | 2 | -54/+0 |
* | sci-mathematics/mathlib-tools: drop old 1.3.0 |  Maciej Barć | 2023-01-27 | 2 | -54/+0 |
* | sci-mathematics/coq-serapi: remove ppx_sexp_conv restriction |  Maciej Barć | 2023-01-27 | 1 | -1/+2 |
* | sci-mathematics/arb: drop 2.19.0, 2.21.0, 2.22.1 |  Andreas Sturmlechner | 2023-01-26 | 7 | -225/+0 |
* | sci-mathematics/pari: patch update for upstream bug 2441. |  Michael Orlitzky | 2023-01-26 | 3 | -23/+35 |
* | sci-mathematics/pari: new ~arch revision, cleanup old. |  Michael Orlitzky | 2023-01-25 | 4 | -139/+41 |
* | sci-mathematics/singular: add myself as a maintainer |  Michael Orlitzky | 2023-01-23 | 1 | -0/+4 |
* | sci-mathematics/pspp: drop 1.6.0-r1, 1.6.2-r1 |  Michael Orlitzky | 2023-01-23 | 3 | -167/+0 |
* | sci-mathematics/pspp: Stabilize 1.6.2-r2 x86, #890706 |  Arthur Zamarin | 2023-01-23 | 1 | -1/+1 |
* | sci-mathematics/geogebra-bin: drop 5.0.683.0 |  Georgy Yakovlev | 2023-01-22 | 2 | -56/+0 |
* | sci-mathematics/maxima: this version is incompatible with the new gcl-2.6.14 |  Andrey Grozin | 2023-01-22 | 1 | -1/+1 |