| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | sci-mathematics/flint: drop 2.8.4, 2.8.5 | Michael Orlitzky | 2023-07-15 | 3 | -156/+0 |
* | sci-mathematics/vampire: bump to 4.8 | Maciej Barć | 2023-07-15 | 2 | -0/+60 |
* | sci-mathematics/vampire: drop old 4.6.1-r2 | Maciej Barć | 2023-07-15 | 2 | -60/+0 |
* | sci-mathematics/fricas: update HOMEPAGE, SRC_URI | Ulrich Müller | 2023-07-11 | 2 | -3/+4 |
* | sci-mathematics/coq: Stabilize 8.17.0 amd64, #907179 | Jakov Smolić | 2023-07-11 | 1 | -1/+1 |
* | sci-mathematics/fricas: bump to 1.3.9 | Andrey Grozin | 2023-07-09 | 3 | -0/+112 |
* | sci-mathematics/flint: remove hardcoded CFLAGS | Matoro Mahri | 2023-07-09 | 2 | -0/+70 |
* | sci-mathematics/flintqs: treeclean | Jakov Smolić | 2023-07-08 | 3 | -64/+0 |
* | sci-mathematics/giac: unbundle x11-libs/gl2ps. | Michael Orlitzky | 2023-07-07 | 2 | -9/+86 |
* | sci-mathematics/polymake: add github upstream metadata | Sam James | 2023-07-04 | 1 | -0/+3 |