| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/agda: set USE=-cpphs by default | Sergei Trofimovich | 2020-12-27 | 1 | -1/+1 |
* | sci-mathematics/cgal: version bump to 5.2 | Aisha Tammy | 2020-12-27 | 2 | -0/+79 |
* | sci-mathematics/flint: new upstream version 2.7.0. | Michael Orlitzky | 2020-12-18 | 2 | -0/+65 |
* | sci-mathematics/agda-stdlib: drop old | Jack Todaro | 2020-12-17 | 2 | -69/+0 |
* | sci-mathematics/agda: drop old | Jack Todaro | 2020-12-17 | 2 | -146/+0 |
* | sci-mathematics/agda-stdlib: bump up to 2.6.1.2.1.4 | Jack Todaro | 2020-12-17 | 3 | -6/+71 |
* | sci-mathematics/agda: bump up to 2.6.1.2 | Jack Todaro | 2020-12-17 | 3 | -18/+173 |
* | sci-mathematics/glpk: Upstream bump | François Bissey | 2020-12-16 | 2 | -0/+77 |
* | sci-mathematics/octave: ppc keyworded (bug #757822) | Sam James | 2020-12-12 | 1 | -1/+1 |
* | sci-mathematics/octave: ppc64 keyworded (bug #757822) | Sam James | 2020-12-12 | 1 | -1/+1 |
* | sci-mathematics/octave: arm64 keyworded (bug #757822) | Sam James | 2020-12-07 | 1 | -1/+1 |
* | sci-mathematics/octave: Keyword 6.1.0-r1 arm, #757822 | Sam James | 2020-12-07 | 1 | -1/+1 |
* | sci-mathematics/gimps: remove old | PPed72 | 2020-12-07 | 2 | -73/+0 |
* | sci-mathematics/alt-ergo: depend only on lablgtk:2 | Alfredo Tupone | 2020-12-05 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: fix dependency | Alfredo Tupone | 2020-12-05 | 1 | -1/+1 |
* | sci-mathematics/z3: Keyword 4.8.9 riscv, #756115 | Mikle Kolyada | 2020-12-04 | 1 | -1/+1 |
* | sci-mathematics/octave: new revision with sys-apps/texinfo in RDEPEND. | Michael Orlitzky | 2020-12-01 | 1 | -1/+4 |
* | sci-mathematics/octave: new version 6.1.0. | Michael Orlitzky | 2020-11-30 | 3 | -0/+198 |
* | sci-mathematics/pspp: version bump to 1.4.1 | John Helmert III | 2020-11-26 | 2 | -0/+91 |
* | sci-mathematics/pspp: security cleanup (<1.2.0-r1) | John Helmert III | 2020-11-26 | 1 | -79/+0 |
* | sci-mathematics/cgal: new maintainer | Aisha Tammy | 2020-11-20 | 1 | -0/+8 |
* | sci-mathematics/cgal: version bump to 5.1 | Aisha Tammy | 2020-11-20 | 2 | -0/+81 |
* | sci-mathematics/gimps: stabilize 30.3.6 on x86 | Joonas Niilola | 2020-11-17 | 1 | -1/+1 |
* | sci-mathematics/gimps: Stabilize 30.3.6 amd64, #754933 | Sam James | 2020-11-17 | 1 | -1/+1 |
* | sci-mathematics/agda: drop USE=uhc | Sergei Trofimovich | 2020-11-15 | 2 | -8/+2 |
* | sci-mathematics/glpk: Stabilize 4.65 arm, #709830 | Sam James | 2020-11-07 | 1 | -1/+1 |
* | sci-mathematics/octave: Stabilize 5.2.0 arm, #709830 | Sam James | 2020-11-07 | 1 | -1/+1 |
* | sci-mathematics/glpk: Stabilize 4.65 arm64, #709830 | Sam James | 2020-11-06 | 1 | -1/+1 |
* | sci-mathematics/octave: Stabilize 5.2.0 arm64, #709830 | Sam James | 2020-11-06 | 1 | -1/+1 |
* | sci-mathematics/maxima: Drop 5.38.1 | Andreas Sturmlechner | 2020-11-05 | 2 | -209/+0 |
* | sci-mathematics/z3: Remove old | Michał Górny | 2020-11-03 | 2 | -97/+0 |
* | sci-mathematics/z3: Stabilize 4.8.9 amd64, #751145 | Sam James | 2020-11-03 | 1 | -1/+1 |
* | sci-mathematics/pspp: Stabilize 1.2.0-r1 amd64, #679392 | Sam James | 2020-11-01 | 1 | -1/+1 |
* | sci-mathematics/otter: fix build with -fno-common | Sam James | 2020-11-01 | 1 | -4/+7 |
* | sci-mathematics/mathematica: Add 12.1.0 for whoever cant get 12.1.1 | Andreas K. Hüttel | 2020-10-28 | 2 | -0/+109 |
* | sci-mathematics/gmp-ecm: Keyword 7.0.4-r2 arm64, #749927 | Sam James | 2020-10-27 | 1 | -1/+1 |
* | sci-mathematics/flint: Keyword 2.6.3 arm64, #749927 | Sam James | 2020-10-27 | 1 | -1/+1 |
* | sci-mathematics/arb: Keyword 2.18.1 arm64, #749927 | Sam James | 2020-10-27 | 1 | -1/+1 |
* | sci-mathematics/gmp-ecm: Keyword 7.0.4-r2 arm, #749927 | Sam James | 2020-10-27 | 1 | -1/+1 |
* | sci-mathematics/arb: Keyword 2.18.1 arm, #749927 | Sam James | 2020-10-27 | 1 | -1/+1 |
* | sci-mathematics/z3: stable 4.8.9 for ppc64 | Sergei Trofimovich | 2020-10-26 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.9 arm, #751145 | Sam James | 2020-10-26 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.9 arm64, #751145 | Sam James | 2020-10-26 | 1 | -1/+1 |
* | sci-mathematics/z3: x86 stable (bug #751145) | Thomas Deutschmann | 2020-10-26 | 1 | -1/+1 |
* | sci-mathematics/pari: new version 2.13.0. | Michael Orlitzky | 2020-10-20 | 2 | -0/+119 |
* | sci-mathematics/axiom: Remove last-rited pkg | Michał Górny | 2020-10-19 | 6 | -294/+0 |
* | sci-mathematics/pspp: x86 stable (bug #679392) | Thomas Deutschmann | 2020-10-18 | 1 | -1/+1 |
* | sci-mathematics/rkward: Drop 0.7.1b | Andreas Sturmlechner | 2020-10-15 | 2 | -50/+0 |
* | sci-mathematics/rkward: 0.7.2 version bump | Andreas Sturmlechner | 2020-10-15 | 2 | -0/+56 |
* | sci-mathematics/coq: Bump to 8.12.0 | Mark Wright | 2020-10-13 | 2 | -0/+89 |