| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/mathematica: add 13.3.1 | Andrew Ammerlaan | 2023-09-27 | 2 | -0/+189 |
* | sci-mathematics/cryptominisat: bump to 5.11.14 | Maciej Barć | 2023-09-24 | 2 | -0/+40 |
* | sci-mathematics/polymake: treeclean | Jakov Smolić | 2023-09-23 | 5 | -318/+0 |
* | sci-mathematics/alt-ergo: drop old 2.4.2-r1 | Maciej Barć | 2023-09-22 | 2 | -57/+0 |
* | sci-mathematics/alt-ergo: drop old 2.4.1-r2 | Maciej Barć | 2023-09-22 | 2 | -49/+0 |
* | Package move dev-lisp/ecls to dev-lisp/ecl | Ulrich Müller | 2023-09-14 | 6 | -20/+20 |
* | sci-mathematics/cadabra: bump to 2.4.4.1 | Maciej Barć | 2023-09-09 | 2 | -0/+105 |
* | sci-mathematics/coq: bump to 8.18.0 | Maciej Barć | 2023-09-09 | 2 | -0/+113 |
* | sci-mathematics/coq: drop old 8.17.0 | Maciej Barć | 2023-09-09 | 2 | -113/+0 |
* | sci-mathematics/coq: drop old 8.12.0-r2 | Maciej Barć | 2023-09-09 | 2 | -91/+0 |
* | sci-mathematics/wxmaxima: remove old version | Andrey Grozin | 2023-08-29 | 2 | -80/+0 |
* | sci-mathematics/ginac: bump to 1.8.7 | Andrey Grozin | 2023-08-29 | 2 | -0/+77 |
* | sci-mathematics/wxmaxima: bump to 23.08.0 | Andrey Grozin | 2023-08-29 | 2 | -0/+81 |
* | sci-mathematics/octave: add 8.3.0 | Michael Orlitzky | 2023-08-23 | 2 | -0/+242 |
* | sci-mathematics/normaliz: add 3.10.1, drop 3.10.0 | Michael Orlitzky | 2023-08-23 | 2 | -2/+2 |
* | sci-mathematics/vampire: drop old 4.7-r1 | Maciej Barć | 2023-08-22 | 3 | -104/+0 |
* | sci-mathematics/opensmt: drop old 2.5.1 | Maciej Barć | 2023-08-22 | 3 | -205/+0 |
* | sci-mathematics/octave: Stabilize 8.1.0 arm, #908186 | Sam James | 2023-08-21 | 1 | -1/+1 |
* | sci-mathematics/opensmt: fix .so install | Maciej Barć | 2023-08-17 | 2 | -4/+6 |
* | sci-mathematics/yacas: update upstream metadata | Michael Orlitzky | 2023-08-16 | 1 | -1/+1 |
* | sci-mathematics/yacas: add dev-libs/mathjax upper bound | Michael Orlitzky | 2023-08-16 | 1 | -1/+2 |
* | sci-mathematics/coq: Stabilize 8.17.1 amd64, #912296 | Sam James | 2023-08-16 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: Stabilize 2.4.3 amd64, #912295 | Sam James | 2023-08-16 | 1 | -1/+1 |
* | sci-mathematics/lean: Stabilize 3.51.1 amd64, #912297 | Arthur Zamarin | 2023-08-15 | 1 | -1/+1 |
* | sci-mathematics/kissat: bump to 3.1.0 | Maciej Barć | 2023-08-15 | 2 | -0/+40 |
* | sci-mathematics/opensmt: bump to 2.5.2 | Maciej Barć | 2023-08-15 | 2 | -0/+72 |
* | sci-mathematics/opensmt: drop old 2.5.0 | Maciej Barć | 2023-08-15 | 2 | -72/+0 |
* | sci-mathematics/verifpal: new package; add 0.27.0 | Maciej Barć | 2023-08-13 | 4 | -0/+70 |
* | sci-mathematics/proverif: new package; add 2.04 | Maciej Barć | 2023-08-13 | 5 | -0/+173 |
* | sci-mathematics/cryptominisat: drop old 5.11.4 | Maciej Barć | 2023-08-13 | 3 | -52/+0 |
* | sci-mathematics/cryptominisat: bump to 5.11.12 | Maciej Barć | 2023-08-13 | 2 | -0/+38 |
* | sci-mathematics/wxmaxima: bump to 23.07.0 | Andrey Grozin | 2023-08-12 | 3 | -0/+86 |
* | sci-mathematics/petsc: add 3.19.4 | Matthias Maier | 2023-08-06 | 2 | -0/+237 |
* | sci-mathematics/pari: new revision to fix USE=X handling | Michael Orlitzky | 2023-08-02 | 1 | -2/+14 |
* | sci-mathematics/pari: add 2.15.4 | Michael Orlitzky | 2023-07-26 | 2 | -0/+133 |
* | sci-mathematics/maxima: use new versions of gcl | Andrey Grozin | 2023-07-22 | 1 | -1/+1 |
* | sci-mathematics/coq: remove dead code | Maciej Barć | 2023-07-17 | 2 | -18/+0 |
* | sci-mathematics/eclib: drop 20221012 | Michael Orlitzky | 2023-07-16 | 2 | -41/+0 |
* | sci-mathematics/eclib: Stabilize 20230424 amd64, #910411 | Sam James | 2023-07-16 | 1 | -1/+1 |
* | sci-mathematics/singular: drop 4.3.1_p3 | Michael Orlitzky | 2023-07-15 | 2 | -104/+0 |
* | sci-mathematics/coq-mathcomp: drop old 1.15.0-r1 | Maciej Barć | 2023-07-16 | 2 | -24/+0 |
* | sci-mathematics/coq-serapi: drop old 0.16.3 | Maciej Barć | 2023-07-16 | 2 | -71/+0 |
* | sci-mathematics/coq-serapi: drop old 0.16.2-r1 | Maciej Barć | 2023-07-16 | 2 | -68/+0 |
* | sci-mathematics/coq-serapi: drop old 0.16.1 | Maciej Barć | 2023-07-16 | 2 | -67/+0 |
* | sci-mathematics/coq: drop old 8.16.1 | Maciej Barć | 2023-07-16 | 2 | -121/+0 |
* | sci-mathematics/coq: drop old 8.15.2 | Maciej Barć | 2023-07-16 | 2 | -121/+0 |
* | sci-mathematics/easycrypt: drop old 2022.04_p20220505 | Maciej Barć | 2023-07-16 | 2 | -46/+0 |
* | sci-mathematics/why3: drop old 1.5.1 | Maciej Barć | 2023-07-16 | 2 | -104/+0 |
* | sci-mathematics/why3: drop old 1.4.1-r1 | Maciej Barć | 2023-07-16 | 2 | -99/+0 |
* | sci-mathematics/coq: add pkg_preinst upgrade from 8.12 | Maciej Barć | 2023-07-16 | 4 | -0/+36 |