| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | sci-mathematics/pari: Stabilize 2.13.4 amd64, #849080 | Sam James | 2022-06-02 | 1 | -1/+1 |
* | sci-mathematics/pari: Stabilize 2.13.4 x86, #849080 | Sam James | 2022-06-02 | 1 | -1/+1 |
* | sci-mathematics/rkward: 0.7.4 version bump | Andreas Sturmlechner | 2022-06-01 | 2 | -0/+58 |
* | sci-mathematics/rkward: Drop 0.7.2-r1 | Andreas Sturmlechner | 2022-06-01 | 7 | -421/+0 |
* | Revert "sci-mathematics/coq: drop old 8.11.2-r1" | Maciej Barć | 2022-05-31 | 2 | -0/+91 |
* | sci-mathematics/coq: drop old 8.11.2-r1 | Maciej Barć | 2022-05-31 | 2 | -91/+0 |
* | sci-mathematics/coq: bump to 8.15.2 | Maciej Barć | 2022-05-31 | 2 | -0/+112 |
* | sci-mathematics/singular: drop unused flag-o-matic inherit. | Michael Orlitzky | 2022-05-27 | 1 | -1/+1 |
* | sci-mathematics/singular: update gcc12 patch | François Bissey | 2022-05-27 | 1 | -10/+1 |
* | sci-mathematics/singular: Add François Bissey as proxy maintainer | François Bissey | 2022-05-27 | 1 | -0/+8 |
* | sci-mathematics/singular: clean singular 4.3.0 | François Bissey | 2022-05-27 | 4 | -178/+0 |
* | sci-mathematics/singular: upstream bump | François Bissey | 2022-05-27 | 3 | -0/+200 |
* | sci-mathematics/flint: new upstream v2.8.5. | Michael Orlitzky | 2022-05-26 | 2 | -0/+81 |
* | sci-mathematics/petsc: drop superfluous USE=cxx | Matthias Maier | 2022-05-25 | 1 | -8/+4 |
* | sci-mathematics/slepc: drop 3.13.1, 3.14.2, 3.15.0 | Matthias Maier | 2022-05-25 | 4 | -210/+0 |
* | sci-mathematics/petsc: drop 3.13.1, 3.14.6, 3.15.0, 3.15.0-r1 | Matthias Maier | 2022-05-25 | 8 | -919/+0 |
* | sci-mathematics/slepc: add 3.17.1 | Matthias Maier | 2022-05-25 | 2 | -0/+69 |
* | sci-mathematics/petsc: add 3.17.1 | Matthias Maier | 2022-05-25 | 2 | -0/+195 |
* | sci-mathematics/octave: add sundials upper bound | Sam James | 2022-05-26 | 1 | -1/+2 |
* | sci-mathematics/dunshire: new revision with python-3.10 support. | Michael Orlitzky | 2022-05-18 | 1 | -3/+3 |
* | sci-mathematics/lean: drop old 3.41.0 | Maciej Barć | 2022-05-18 | 2 | -76/+0 |
* | sci-mathematics/lean: bump to 3.43.0 | Maciej Barć | 2022-05-18 | 2 | -0/+76 |
* | sci-mathematics/rkward: 0.7.3 version bump | Andreas Sturmlechner | 2022-05-18 | 2 | -0/+58 |
* | sci-mathematics/octave: Keyword 6.4.0-r2 hppa, #757822 | Sam James | 2022-05-17 | 1 | -1/+1 |
* | sci-mathematics/primecount: [QA] use tc-check-openmp correctly | David Seifert | 2022-05-16 | 1 | -1/+6 |
* | sci-mathematics/gretl: [QA] use tc-check-openmp correctly | David Seifert | 2022-05-16 | 1 | -4/+6 |
* | sci-mathematics/gmp-ecm: [QA] use tc-check-openmp correctly | David Seifert | 2022-05-16 | 2 | -3/+12 |
* | sci-mathematics/agda-stdlib: egrep -> grep -E | Sam James | 2022-05-15 | 1 | -2/+2 |
* | sci-mathematics/normaliz: [QA] tc-has-openmp → tc-check-openmp | David Seifert | 2022-05-14 | 3 | -7/+20 |
* | sci-mathematics/gmp-ecm: fix qa WhitespaceFound | Conrad Kostecki | 2022-05-14 | 1 | -2/+2 |
* | sci-mathematics/normaliz: new upstream version 3.9.3. | Michael Orlitzky | 2022-05-08 | 3 | -1/+71 |
* | sci-mathematics/topcom: new revision to fix gmp dependency. | Michael Orlitzky | 2022-05-07 | 1 | -1/+2 |
* | sci-mathematics/topcom: remove old topcom-0.17.7-r1.ebuild. | Michael Orlitzky | 2022-05-07 | 3 | -381/+0 |
* | sci-mathematics/topcom: new revision with miscellaneous fixes. | Michael Orlitzky | 2022-05-07 | 3 | -73/+181 |
* | sci-mathematics/easycrypt: add Why3 constraints for older EC versions | Maciej Barć | 2022-05-07 | 2 | -2/+2 |