| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | sci-mathematics/primecount: new upstream v7.3. | Michael Orlitzky | 2022-06-13 | 2 | -0/+55 |
* | sci-mathematics/primesieve: new upstream v7.9. | Michael Orlitzky | 2022-06-13 | 2 | -0/+51 |
* | sci-mathematics/planarity: new upstream v3.0.2.0. | Michael Orlitzky | 2022-06-12 | 2 | -0/+19 |
* | sci-mathematics/lcalc: new revision that doesn't litter libtool files. | Michael Orlitzky | 2022-06-12 | 1 | -0/+36 |
* | sci-mathematics/cgal: keep stable version, drop unstable version | Matthias Maier | 2022-06-08 | 2 | -6/+6 |
* | sci-mathematics/cgal: drop 5.1-r2, 5.2-r2, 5.2.2-r1 | Matthias Maier | 2022-06-08 | 4 | -239/+0 |
* | sci-mathematics/cgal: add 5.4.1 | Matthias Maier | 2022-06-08 | 2 | -0/+79 |
* | sci-mathematics/rkward: Drop 0.7.3 | Andreas Sturmlechner | 2022-06-08 | 2 | -58/+0 |
* | sci-mathematics/pari: remove obsolete hppa workaround in an -r1. | Michael Orlitzky | 2022-06-07 | 1 | -0/+117 |
* | sci-mathematics/ginac: Stabilize 1.8.2 x86, #850328 | Jakov Smolić | 2022-06-07 | 1 | -1/+1 |
* | sci-mathematics/ginac: Stabilize 1.8.2 amd64, #850328 | Jakov Smolić | 2022-06-07 | 1 | -1/+1 |
* | sci-mathematics/pspp: add 1.6.0 | Sam James | 2022-06-07 | 2 | -0/+83 |
* | sci-mathematics/z3: Remove old | Michał Górny | 2022-06-06 | 3 | -213/+0 |
* | sci-mathematics/z3: Stabilize 4.8.17 amd64, #850061 | Jakov Smolić | 2022-06-06 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.17 x86, #850061 | Jakov Smolić | 2022-06-06 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.17 arm64, #850061 | Jakov Smolić | 2022-06-06 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.17 ppc64, #850061 | Jakov Smolić | 2022-06-06 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.17 arm, #850061 | Jakov Smolić | 2022-06-06 | 1 | -1/+1 |
* | sci-mathematics/pari: remove old "unused" pari-2.13.3.ebuild. | Michael Orlitzky | 2022-06-03 | 2 | -122/+0 |
* | sci-mathematics/petsc: revbump for configure fix | Sam James | 2022-06-03 | 2 | -0/+0 |
* | sci-mathematics/petsc: fix configuration with USE=mumps | Fabio Rossi | 2022-06-03 | 2 | -3/+3 |
* | sci-mathematics/pari: Stabilize 2.13.4 ppc, #849080 | Sam James | 2022-06-02 | 1 | -1/+1 |
* | sci-mathematics/pari: Stabilize 2.13.4 ppc64, #849080 | Sam James | 2022-06-02 | 1 | -1/+1 |