| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/alt-ergo: 2.4.2 - do not depend on seq | Maciej Barć | 2022-09-24 | 1 | -1/+0 |
* | sci-mathematics/z3: Remove old | Michał Górny | 2022-09-23 | 2 | -108/+0 |
* | sci-mathematics/vampire: depend on z3 version >=4.11.2 | Maciej Barć | 2022-09-23 | 2 | -2/+2 |
* | sci-mathematics/z3: Remove old | Michał Górny | 2022-09-23 | 5 | -432/+0 |
* | sci-mathematics/z3: Revert "Remove old" | Michał Górny | 2022-09-23 | 6 | -0/+540 |
* | sci-mathematics/z3: Remove old | Michał Górny | 2022-09-23 | 6 | -540/+0 |
* | sci-mathematics/z3: Stabilize 4.11.2 sparc, #872290 | Arthur Zamarin | 2022-09-23 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.11.2 ppc64, #872290 | Arthur Zamarin | 2022-09-22 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.11.2 x86, #872290 | Jakov Smolić | 2022-09-22 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.11.2 amd64, #872290 | Jakov Smolić | 2022-09-22 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.11.2 arm, #872290 | Jakov Smolić | 2022-09-22 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.11.2 arm64, #872290 | Jakov Smolić | 2022-09-22 | 1 | -1/+1 |
* | sci-mathematics/pari: bullet-proof DLLD detection. | Michael Orlitzky | 2022-09-20 | 1 | -7/+7 |
* | sci-mathematics/pari: drop 2.13.4 | Michael Orlitzky | 2022-09-20 | 1 | -121/+0 |
* | sci-mathematics/pari: add 2.15.0 | Michael Orlitzky | 2022-09-20 | 2 | -0/+127 |
* | sci-mathematics/maxima: drop 5.42.1-r1, EAPI-6-- | Andreas Sturmlechner | 2022-09-19 | 7 | -369/+0 |
* | sci-mathematics/maxima: re-keyword 5.46.0 for ~ppc | Andreas Sturmlechner | 2022-09-19 | 1 | -1/+1 |
* | sci-mathematics/why3: bump to 1.5.1 | Maciej Barć | 2022-09-19 | 2 | -0/+104 |
* | sci-mathematics/gmm: drop 5.1, 5.3 | Andreas Sturmlechner | 2022-09-16 | 3 | -46/+0 |
* | sci-mathematics/gmm: Stabilize 5.4 ppc64, #867541 | Arthur Zamarin | 2022-09-16 | 1 | -1/+1 |
* | sci-mathematics/maxima: update Manifest | Ulrich Müller | 2022-09-16 | 1 | -1/+0 |
* | sci-mathematics/maxima: Revert "drop 5.42.1-r1" | Andreas Sturmlechner | 2022-09-16 | 7 | -0/+370 |
* | sci-mathematics/maxima: drop 5.42.1-r1, 5.45.1-r2 | Andreas Sturmlechner | 2022-09-16 | 8 | -606/+0 |
* | sci-mathematics/maxima: Stabilize 5.46.0 x86, #867547 | Agostino Sarubbo | 2022-09-16 | 1 | -1/+1 |
* | sci-mathematics/gmm: Stabilize 5.4 ppc, #867541 | Arthur Zamarin | 2022-09-15 | 1 | -1/+1 |
* | sci-mathematics/gmm: Stabilize 5.4 x86, #867541 | Sam James | 2022-09-15 | 1 | -1/+1 |
* | sci-mathematics/maxima: Stabilize 5.46.0 amd64, #867547 | Agostino Sarubbo | 2022-09-15 | 1 | -1/+1 |
* | sci-mathematics/gmm: Stabilize 5.4 amd64, #867541 | Agostino Sarubbo | 2022-09-15 | 1 | -2/+2 |
* | sci-mathematics/maxima: disable the failing test suite. | Michael Orlitzky | 2022-09-14 | 1 | -1/+1 |
* | sci-mathematics/cadical: bump to 1.5.3 | Maciej Barć | 2022-09-13 | 3 | -0/+57 |
* | sci-mathematics/octave: better slibtool fix in v6.4.0. | Michael Orlitzky | 2022-09-11 | 1 | -0/+215 |
* | sci-mathematics/octave: remove slibtool workaround from v7.2.0. | Michael Orlitzky | 2022-09-11 | 1 | -5/+0 |
* | sci-mathematics/polymake: add 4.7 | Michael Orlitzky | 2022-09-09 | 2 | -0/+123 |
* | sci-mathematics/coq-mathcomp: bump to 1.15.0 | Maciej Barć | 2022-09-07 | 2 | -0/+18 |
* | sci-mathematics/coq-mathcomp: constraint coq version to <8.16.0 | Maciej Barć | 2022-09-07 | 1 | -1/+1 |
* | sci-mathematics/gimps: Version bump to 30.8.16 | Paolo Pedroni | 2022-09-07 | 2 | -0/+72 |
* | sci-mathematics/giac: add 1.9.0.21, drop 1.9.0.19 | Michael Orlitzky | 2022-09-06 | 2 | -1/+1 |
* | sci-mathematics/coq: drop old 8.15.0-r2 | Maciej Barć | 2022-09-06 | 2 | -112/+0 |
* | sci-mathematics/coq: drop old 8.15.1 | Maciej Barć | 2022-09-06 | 2 | -112/+0 |
* | sci-mathematics/coq: bump to 8.16.0 | Maciej Barć | 2022-09-06 | 2 | -0/+112 |
* | sci-mathematics/z3: Bump to 4.11.2 | Michał Górny | 2022-09-04 | 2 | -0/+108 |
* | sci-mathematics/cgal: remove boost[threads(+)] usedep | David Seifert | 2022-09-04 | 3 | -3/+3 |
* | sci-mathematics/jags: drop 4.2.0, EAPI-6-- | Andreas Sturmlechner | 2022-08-30 | 2 | -46/+0 |
* | sci-mathematics/calc: drop 2.12.5.4, EAPI-6-- | Andreas Sturmlechner | 2022-08-30 | 3 | -220/+0 |
* | sci-mathematics/jags: Stabilize 4.3.0 x86, #867538 | Jakov Smolić | 2022-08-30 | 1 | -1/+1 |
* | sci-mathematics/calc: Stabilize 2.13.0.1 amd64, #867544 | Jakov Smolić | 2022-08-30 | 1 | -1/+1 |
* | sci-mathematics/jags: Stabilize 4.3.0 amd64, #867538 | Jakov Smolić | 2022-08-30 | 1 | -2/+2 |
* | sci-mathematics/sha1-polyml: drop 5.6_p1, EAPI-6-- | Andreas Sturmlechner | 2022-08-30 | 2 | -62/+0 |
* | sci-mathematics/gsl-shell: drop 2.3.0_beta1-r1, EAPI-6-- | Andreas Sturmlechner | 2022-08-30 | 8 | -164/+0 |
* | sci-mathematics/genius: drop 1.0.25, EAPI-6-- | Andreas Sturmlechner | 2022-08-30 | 3 | -232/+0 |