| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/vampire: bump to 4.7 | Maciej Barć | 2022-07-23 | 2 | -0/+58 |
* | sci-mathematics/vampire: restrict z3 dep version | Maciej Barć | 2022-07-23 | 1 | -2/+2 |
* | sci-mathematics/z3: Bump to 4.10.1 | Michał Górny | 2022-07-23 | 2 | -0/+109 |
* | sci-mathematics/why3: remove unnecessary seq dependency | Maciej Barć | 2022-07-23 | 3 | -3/+3 |
* | sci-mathematics/singular: remove unused patches | Michael Mair-Keimberger | 2022-07-19 | 3 | -177/+0 |
* | sci-mathematics/cgal: add 5.5 | Sam James | 2022-07-16 | 2 | -0/+62 |
* | sci-mathematics/singular: remove old "unused" ebuilds. | Michael Orlitzky | 2022-07-16 | 4 | -342/+0 |
* | sci-mathematics/lcalc: remove "unused" lcalc-2.0.5-r1.ebuild. | Michael Orlitzky | 2022-07-16 | 1 | -31/+0 |
* | sci-mathematics/lcalc: maintainer stabilize 2.0.5-r2. | Michael Orlitzky | 2022-07-16 | 1 | -1/+1 |
* | sci-mathematics/giac: new upstream release giac-1.9.0.19. | Michael Orlitzky | 2022-07-16 | 2 | -0/+167 |
* | sci-mathematics/singular: fix UnusedInherits on 4.3.1_p1 | Joonas Niilola | 2022-07-15 | 1 | -1/+1 |
* | sci-mathematics/singular: upstream bump to 4.3.1_p1 | François Bissey | 2022-07-15 | 2 | -0/+104 |
* | sci-mathematics/lean: drop old 3.42.1 | Maciej Barć | 2022-07-14 | 2 | -76/+0 |
* | sci-mathematics/lean: bump to 3.45.0 | Maciej Barć | 2022-07-14 | 2 | -0/+76 |
* | sci-mathematics/wxmaxima: bump tp 22.05.0 | Andrey Grozin | 2022-07-13 | 2 | -0/+80 |
* | sci-mathematics/cadabra: drop old 2.3.8 | Maciej Barć | 2022-07-12 | 2 | -100/+0 |
* | sci-mathematics/cadabra: bump to 2.3.9.3 | Maciej Barć | 2022-07-12 | 2 | -0/+100 |
* | sci-mathematics/octave: x86 stable wrt bug #854489 | Agostino Sarubbo | 2022-07-08 | 1 | -1/+1 |
* | sci-mathematics/mathomatic: update EAPI 6 -> 8 | David Seifert | 2022-07-07 | 1 | -9/+15 |
* | sci-mathematics/z3: Fix subslot in 4.9.1 | Michał Górny | 2022-07-07 | 1 | -1/+1 |
* | sci-mathematics/z3: Bump to 4.9.1 | Michał Górny | 2022-07-07 | 2 | -0/+109 |
* | sci-mathematics/octave: amd64 stable wrt bug #854489 | Agostino Sarubbo | 2022-07-07 | 1 | -1/+1 |
* | sci-mathematics/octave: Stabilize 6.4.0-r3 arm64, #854489 | Arthur Zamarin | 2022-07-06 | 1 | -1/+1 |
* | sci-mathematics/pspp: add 1.6.2 | Sam James | 2022-07-05 | 2 | -0/+85 |
* | sci-mathematics/pspp: remove unused patch(es) | Michael Mair-Keimberger | 2022-07-03 | 2 | -34/+0 |
* | sci-mathematics/eclib: upstream bump | François Bissey | 2022-07-02 | 2 | -0/+36 |
* | sci-mathematics/arb: new upstream v2.23.0. | Michael Orlitzky | 2022-07-01 | 2 | -0/+34 |
* | sci-mathematics/flint: new upstream v2.9.0. | Michael Orlitzky | 2022-07-01 | 2 | -0/+81 |
* | sci-mathematics/alt-ergo: require ocamlopt | Alfredo Tupone | 2022-06-29 | 1 | -0/+1 |
* | sci-mathematics/lean: drop old 3.39.1 & 3.42.0 | Maciej Barć | 2022-06-27 | 3 | -152/+0 |
* | sci-mathematics/lean: bump to 3.44.1 | Maciej Barć | 2022-06-27 | 2 | -0/+76 |
* | sci-mathematics/why3-for-spark: refix QA_FLAGS | Alfredo Tupone | 2022-06-27 | 1 | -3/+3 |
* | sci-mathematics/why3-for-spark: ignore some QA warnings | Alfredo Tupone | 2022-06-27 | 1 | -13/+3 |
* | sci-mathematics/pspp: add note re which | Sam James | 2022-06-26 | 2 | -0/+29 |
* | sci-mathematics/pspp: add 1.6.1 | Sam James | 2022-06-26 | 2 | -0/+86 |
* | sci-mathematics/pspp: drop 1.2.0-r1, 1.4.1 | Sam James | 2022-06-26 | 10 | -618/+0 |
* | sci-mathematics/pspp: x86 stable wrt bug #853601 | Agostino Sarubbo | 2022-06-24 | 1 | -1/+1 |
* | sci-mathematics/pspp: Stabilize 1.6.0 amd64, #853601 | Sam James | 2022-06-23 | 1 | -1/+1 |
* | sci-mathematics/fricas: remove old version | Andrey Grozin | 2022-06-22 | 2 | -109/+0 |
* | sci-mathematics/fricas: bump to 1.3.8 | Andrey Grozin | 2022-06-22 | 2 | -0/+111 |
* | sci-mathematics/lpsolve: update EAPI 6 -> 8 | David Seifert | 2022-06-21 | 1 | -13/+3 |
* | sci-mathematics/gimps: Version bump to 30.8.15 | Paolo Pedroni | 2022-06-21 | 2 | -4/+76 |
* | sci-mathematics/gimps: Remove old | Paolo Pedroni | 2022-06-21 | 2 | -147/+0 |
* | sci-mathematics/alt-ergo: fix OCaml dep | Sam James | 2022-06-21 | 1 | -2/+2 |
* | sci-mathematics/num-utils: x86 stable wrt bug #837833 | Agostino Sarubbo | 2022-06-18 | 1 | -1/+1 |
* | sci-mathematics/num-utils: amd64 stable wrt bug #837833 | Agostino Sarubbo | 2022-06-18 | 1 | -1/+1 |
* | sci-mathematics/num-utils: Stabilize 0.5-r2 arm, #837833 | Jakov Smolić | 2022-06-17 | 1 | -1/+1 |
* | sci-mathematics/num-utils: ppc stable wrt bug #837833 | Agostino Sarubbo | 2022-06-17 | 1 | -2/+2 |
* | sci-mathematics/polymake: new revision with a few fixes. | Michael Orlitzky | 2022-06-15 | 2 | -0/+139 |
* | sci-mathematics/alectryon: fix distutil calls | Maciej Barć | 2022-06-14 | 1 | -2/+2 |