| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | 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 |
* | sci-mathematics/fricas: Drop trivial Emacs site-init file |  Ulrich Müller | 2023-07-03 | 2 | -3/+1 |
* | sci-mathematics/giac: fix and re-enable two disabled tests. |  Michael Orlitzky | 2023-06-30 | 4 | -36/+74 |
* | sci-mathematics/opensmt: bump to 2.5.1 |  Maciej Barć | 2023-06-28 | 2 | -0/+72 |
* | sci-mathematics/opensmt: drop old 2.4.3-r2 |  Maciej Barć | 2023-06-28 | 2 | -72/+0 |
* | sci-mathematics/coq: bump to 8.17.1 |  Maciej Barć | 2023-06-28 | 2 | -0/+113 |
* | sci-mathematics/coq: drop old 8.13.0-r1 |  Maciej Barć | 2023-06-28 | 2 | -89/+0 |
* | sci-mathematics/cryptominisat: bump to 5.11.11 |  Maciej Barć | 2023-06-25 | 2 | -0/+38 |
* | sci-mathematics/giac: add 1.9.0.55 |  Michael Orlitzky | 2023-06-22 | 3 | -0/+213 |
* | sci-mathematics/slepc: add 3.19.1 |  Matthias Maier | 2023-06-19 | 2 | -0/+127 |
* | sci-mathematics/petsc: add 3.19.2 |  Matthias Maier | 2023-06-19 | 2 | -0/+237 |
* | sci-mathematics/cgal: add 5.5.2 |  Matthias Maier | 2023-06-19 | 2 | -0/+62 |
* | sci-mathematics/jags: Stabilize 4.3.1 amd64, #908183 |  Sam James | 2023-06-10 | 1 | -2/+2 |
* | sci-mathematics/octave: Stabilize 8.1.0 amd64, #908186 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/unuran: Stabilize 1.9.0 amd64, #908185 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/octave: Stabilize 8.1.0 arm64, #908186 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/nauty: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/normaliz: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/ginac: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/wxmaxima: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/unuran: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/singular: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 2 | -2/+2 |
* | sci-mathematics/rw: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/rngstreams: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/pspp: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/prng: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/polymake: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/planarity: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/pari-data: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 2 | -2/+2 |
* | sci-mathematics/otter: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/octave: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/num-utils: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/maxima: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/mathomatic: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/lrcalc: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 2 | -4/+4 |
* | sci-mathematics/jags: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/gmp-ecm: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/gmm: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/gimps: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 2 | -3/+3 |
* | sci-mathematics/gfan: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/frobby: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/flintqs: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/flint: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 2 | -2/+2 |
* | sci-mathematics/euler: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/ent: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/eclib: destabilize for ~x86 |  Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |