| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/sha1-polyml: avoid distfile conflict with dev-lang/polyml |   Andrew Ammerlaan | 2022-08-26 | 2 | -2/+2 |
| * | sci-mathematics/sha1-polyml: add 5.9 | Andrew Ammerlaan | 2022-08-26 | 2 | -0/+57 |
| * | sci-mathematics/sha1-polyml: Update package metadata |   Petr Vaněk | 2022-08-26 | 1 | -4/+4 |
| * | sci-mathematics/mathlib-tools: bump to 1.1.2 |   Maciej Barć | 2022-08-26 | 2 | -0/+51 |
| * | sci-mathematics/lean: drop old 3.44.1 | Maciej Barć | 2022-08-26 | 2 | -78/+0 |
| * | sci-mathematics/lean: bump to 3.47.0 | Maciej Barć | 2022-08-26 | 2 | -0/+78 |
| * | sci-mathematics/lean: fix live | Maciej Barć | 2022-08-26 | 1 | -3/+3 |
| * | sci-mathematics/primecount: add 7.4 |   Michael Orlitzky | 2022-08-22 | 2 | -0/+55 |
| * | sci-mathematics/primesieve: add 8.0 | Michael Orlitzky | 2022-08-22 | 2 | -0/+51 |
| * | sci-mathematics/agda: treeclean |   Jakov Smolić | 2022-08-21 | 4 | -190/+0 |
| * | sci-mathematics/agda-stdlib: treeclean | Jakov Smolić | 2022-08-21 | 4 | -85/+0 |
| * | sci-mathematics/rstudio: treeclean | Jakov Smolić | 2022-08-21 | 18 | -1013/+0 |
| * | sci-mathematics/alt-ergo: bump to 2.4.2 | Maciej Barć | 2022-08-20 | 2 | -0/+56 |
| * | sci-mathematics/z3: Stabilize 4.10.2 x86, #865789 |   Sam James | 2022-08-19 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.10.2 amd64, #865789 | Sam James | 2022-08-19 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.10.2 arm64, #865789 |   Arthur Zamarin | 2022-08-19 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.10.2 arm, #865789 | Arthur Zamarin | 2022-08-19 | 1 | -1/+1 |
| * | sci-mathematics/z3: Bump to 4.11.0 |   Michał Górny | 2022-08-19 | 2 | -0/+108 |
| * | sci-mathematics/normaliz: drop 3.1.3-r1, 3.8.10-r1 | Michael Orlitzky | 2022-08-16 | 3 | -133/+0 |
| * | sci-mathematics/normaliz: x86 stable wrt bug #865345 |   Agostino Sarubbo | 2022-08-16 | 1 | -1/+1 |
| * | sci-mathematics/normaliz: amd64 stable wrt bug #865345 | Agostino Sarubbo | 2022-08-16 | 1 | -1/+1 |
| * | */*: Drop CMAKE_ECLASS meta var superfluous in EAPI-8 |   Andreas Sturmlechner | 2022-08-15 | 4 | -4/+0 |
| * | sci-mathematics/eclib: x86 stable wrt bug #864997 | Agostino Sarubbo | 2022-08-15 | 1 | -1/+1 |
| * | sci-mathematics/eclib: amd64 stable wrt bug #864997 | Agostino Sarubbo | 2022-08-13 | 1 | -1/+1 |
| * | sci-mathematics/octave: don't install test logs with FEATURES=test. | Michael Orlitzky | 2022-08-12 | 1 | -2/+0 |
| * | sci-mathematics/lpsolve: keyword 5.5.2.0-r1 for ~loong |   WANG Xuerui | 2022-08-12 | 1 | -1/+1 |
| * | sci-mathematics/planarity: drop 3.0.1.1 | Michael Orlitzky | 2022-08-11 | 2 | -19/+0 |
| * | sci-mathematics/nauty: add 2.7.4 | Michael Orlitzky | 2022-08-11 | 2 | -0/+85 |
| * | sci-mathematics/planarity: Stabilize 3.0.2.0 x86, #864837 |   Joonas Niilola | 2022-08-11 | 1 | -1/+1 |
| * | sci-mathematics/planarity: Stabilize 3.0.2.0 amd64, #864837 | Joonas Niilola | 2022-08-11 | 1 | -1/+1 |
| * | sci-mathematics/pari: Stabilize 2.13.4-r1 ppc64, #864214 | Arthur Zamarin | 2022-08-10 | 1 | -1/+1 |
| * | sci-mathematics/pari: Stabilize 2.13.4-r1 ppc, #864214 | Arthur Zamarin | 2022-08-10 | 1 | -1/+1 |
| * | sci-mathematics/pari: Stabilize 2.13.4-r1 x86, #864214 | Joonas Niilola | 2022-08-09 | 1 | -1/+1 |
| * | sci-mathematics/lean: drop old 3.43.0 | Maciej Barć | 2022-08-09 | 2 | -78/+0 |
| * | sci-mathematics/lean: bump to 3.46.0 | Maciej Barć | 2022-08-09 | 2 | -0/+78 |
| * | sci-mathematics/stp: compile python modules | Maciej Barć | 2022-08-08 | 1 | -1/+6 |
| * | sci-mathematics/mathematica: add 13.1.0 |   Huang Rui | 2022-08-08 | 3 | -0/+192 |
| * | sci-mathematics/mathematica: add 13.0.1 | Huang Rui | 2022-08-08 | 3 | -4/+185 |
| * | sci-mathematics/pari: disable "help" tests in the absence of USE=doc. | Michael Orlitzky | 2022-08-08 | 1 | -0/+9 |
| * | sci-mathematics/pari: amd64 stable wrt bug #864214 | Agostino Sarubbo | 2022-08-08 | 1 | -1/+1 |
| * | sci-mathematics/vampire: filter LTO (strict-aliasing) | Maciej Barć | 2022-08-07 | 2 | -2/+10 |
| * | sci-mathematics/stp: filter LTO (ODR) | Maciej Barć | 2022-08-07 | 1 | -2/+6 |
| * | sci-mathematics/primesieve: drop 7.7 | Michael Orlitzky | 2022-08-06 | 2 | -51/+0 |
| * | sci-mathematics/primesieve: stabilize 7.9 for amd64 | Michael Orlitzky | 2022-08-06 | 1 | -1/+1 |
| * | sci-mathematics/primecount: drop 7.2-r1 | Michael Orlitzky | 2022-08-06 | 2 | -55/+0 |
| * | sci-mathematics/primecount: stabilize 7.3 for amd64 | Michael Orlitzky | 2022-08-06 | 1 | -1/+1 |
| * | sci-mathematics/octave: drop 7.1.0 | Sam James | 2022-08-03 | 2 | -213/+0 |
| * | sci-mathematics/octave: add 7.2.0 | Sam James | 2022-08-03 | 2 | -0/+216 |
| * | sci-mathematics/lean: filter LTO (odr) | Maciej Barć | 2022-08-02 | 4 | -4/+12 |
| * | sci-mathematics/z3: Stabilize 4.8.17 sparc, #862999 | Arthur Zamarin | 2022-08-02 | 1 | -1/+1 |
GitWeb
