| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/coq-serapi: bump to 0.16.0 |   Maciej Barć | 2022-10-02 | 2 | -0/+68 |
| * | sci-mathematics/coq-serapi: restrict coq version | Maciej Barć | 2022-10-02 | 1 | -1/+1 |
| * | sci-mathematics/geogebra-bin: fix StaticSrcUri |   Sam James | 2022-10-01 | 2 | -3/+3 |
| * | sci-mathematics/wxmaxima: remove old versions |   Andrey Grozin | 2022-09-27 | 3 | -160/+0 |
| * | sci-mathematics/wxmaxima: bump to 22.09.0 | Andrey Grozin | 2022-09-27 | 2 | -0/+80 |
| * | 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 |
GitWeb
