| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/coq-mathcomp: bump to 1.15.0 |   Maciej Barć | 2022-09-07 | 2 | -0/+18 |
| * | sci-mathematics/coq-mathcomp: constraint coq version to <8.16.0 | Maciej Barć | 2022-09-07 | 1 | -1/+1 |
| * | sci-mathematics/gimps: Version bump to 30.8.16 |   Paolo Pedroni | 2022-09-07 | 2 | -0/+72 |
| * | sci-mathematics/giac: add 1.9.0.21, drop 1.9.0.19 |   Michael Orlitzky | 2022-09-06 | 2 | -1/+1 |
| * | sci-mathematics/coq: drop old 8.15.0-r2 | Maciej Barć | 2022-09-06 | 2 | -112/+0 |
| * | sci-mathematics/coq: drop old 8.15.1 | Maciej Barć | 2022-09-06 | 2 | -112/+0 |
| * | sci-mathematics/coq: bump to 8.16.0 | Maciej Barć | 2022-09-06 | 2 | -0/+112 |
| * | sci-mathematics/z3: Bump to 4.11.2 |   Michał Górny | 2022-09-04 | 2 | -0/+108 |
| * | sci-mathematics/cgal: remove boost[threads(+)] usedep |   David Seifert | 2022-09-04 | 3 | -3/+3 |
| * | sci-mathematics/jags: drop 4.2.0, EAPI-6-- |   Andreas Sturmlechner | 2022-08-30 | 2 | -46/+0 |
| * | sci-mathematics/calc: drop 2.12.5.4, EAPI-6-- | Andreas Sturmlechner | 2022-08-30 | 3 | -220/+0 |
| * | sci-mathematics/jags: Stabilize 4.3.0 x86, #867538 |   Jakov Smolić | 2022-08-30 | 1 | -1/+1 |
| * | sci-mathematics/calc: Stabilize 2.13.0.1 amd64, #867544 | Jakov Smolić | 2022-08-30 | 1 | -1/+1 |
| * | sci-mathematics/jags: Stabilize 4.3.0 amd64, #867538 | Jakov Smolić | 2022-08-30 | 1 | -2/+2 |
| * | sci-mathematics/sha1-polyml: drop 5.6_p1, EAPI-6-- | Andreas Sturmlechner | 2022-08-30 | 2 | -62/+0 |
| * | sci-mathematics/gsl-shell: drop 2.3.0_beta1-r1, EAPI-6-- | Andreas Sturmlechner | 2022-08-30 | 8 | -164/+0 |
| * | sci-mathematics/genius: drop 1.0.25, EAPI-6-- | Andreas Sturmlechner | 2022-08-30 | 3 | -232/+0 |
| * | sci-mathematics/lean: drop old 3.45.0 | Maciej Barć | 2022-08-30 | 2 | -78/+0 |
| * | sci-mathematics/lean: bump to 3.48.0 | Maciej Barć | 2022-08-30 | 2 | -0/+78 |
| * | sci-mathematics/petsc: use <pkg> tags in metadata.xml |   Petr Vaněk | 2022-08-26 | 1 | -4/+4 |
| * | sci-mathematics/cvc4: use <pkg> tag in metadata.xml | Petr Vaněk | 2022-08-26 | 1 | -1/+1 |
| * | 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 |
GitWeb
