| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/diagrtb: EAPI-7 bump, use cmake.eclass | Andreas Sturmlechner | 2021-02-14 | 2 | -6/+7 |
* | sci-mathematics/coq: Stabilize 8.12.0-r1 x86, #769317 | Sam James | 2021-02-11 | 1 | -1/+1 |
* | sci-mathematics/coq: Stabilize 8.12.0-r1 amd64, #769317 | Sam James | 2021-02-10 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: fix dep | Alfredo Tupone | 2021-02-10 | 1 | -1/+1 |
* | sci-mathematics/ginac: Stabilize 1.7.11 amd64, #766797 | Sam James | 2021-02-09 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: version bump to 2020 | Alfredo Tupone | 2021-02-09 | 5 | -0/+173 |
* | sci-mathematics/coq: bumping back to 8.11.2 | Alfredo Tupone | 2021-02-09 | 2 | -0/+91 |
* | sci-mathematics/ginac: Stabilize 1.7.11 x86, #766797 | Sam James | 2021-02-09 | 1 | -1/+1 |
* | sci-mathematics/coq: bump to 8.13.0 | Sam James | 2021-02-08 | 2 | -0/+89 |
* | sci-mathematics/coq: add github remote-id | Sam James | 2021-02-08 | 1 | -0/+3 |
* | sci-mathematics/coq: fix metadata indentation | Sam James | 2021-02-08 | 1 | -20/+22 |
* | sci-mathematics/coq: lower OCaml dep | Sam James | 2021-02-08 | 1 | -4/+6 |
* | sci-mathematics/wxmaxima: bump to 21.01.0 | Andrey Grozin | 2021-02-08 | 2 | -0/+52 |
* | sci-mathematics/lrcalc: new version 2.0. | Michael Orlitzky | 2021-02-07 | 2 | -0/+24 |
* | sci-mathematics/gimps: rename ${I} variable on 30.4.8 | Joonas Niilola | 2021-02-03 | 1 | -6/+6 |
* | sci-mathematics/gimps: Version bump to version 30.4 build 8 | PPed72 | 2021-02-03 | 2 | -0/+74 |
* | sci-mathematics/nestedsums: Drop USE=static-libs | Jakov Smolic | 2021-01-31 | 1 | -19/+12 |
* | sci-mathematics/ginac: Depend on python-any-r1 | David Seifert | 2021-01-31 | 1 | -30/+36 |
* | */*: Remove obsolete values from PYTHON_COMPAT | Michał Górny | 2021-01-31 | 10 | -10/+10 |
* | sci-mathematics/arb: Stabilize 2.18.1 amd64, #766977 | Sam James | 2021-01-27 | 1 | -1/+1 |
* | sci-mathematics/flint: Stabilize 2.6.3 amd64, #766977 | Sam James | 2021-01-27 | 1 | -1/+1 |
* | sci-mathematics/flint: Stabilize 2.6.3 ppc, #766977 | Sam James | 2021-01-25 | 1 | -2/+2 |
* | sci-mathematics/gmp-ecm: restore dropped ~arm{,64} | Sam James | 2021-01-24 | 1 | -2/+2 |
* | sci-mathematics/flint: add myself and François Bissey as maintainers. | Michael Orlitzky | 2021-01-23 | 1 | -12/+26 |
* | sci-mathematics/flint: remove "unused" flint-2.7.0.ebuild. | Michael Orlitzky | 2021-01-23 | 2 | -65/+1 |
* | sci-mathematics/flint: upstream bump and fix bugs | François Bissey | 2021-01-23 | 1 | -0/+69 |
* | sci-mathematics/flint: revert "sci-mathematics/flint: Remove old" | Michael Orlitzky | 2021-01-23 | 2 | -0/+64 |
* | sci-mathematics/gmp-ecm: fix #732032, #750716 and update HOME and SRC_URI | François Bissey | 2021-01-22 | 3 | -0/+83 |
* | Revert "sci-mathematics/mathematica: Remove old" | Andreas K. Hüttel | 2021-01-22 | 3 | -0/+205 |
* | sci-mathematics/z3: Bump to 4.8.10 | Michał Górny | 2021-01-21 | 2 | -0/+97 |
* | sci-mathematics/agda-stdlib: Remove unused file | Jakov Smolic | 2021-01-20 | 1 | -1/+0 |
* | sci-mathematics/wxmaxima: Remove old | Jakov Smolic | 2021-01-20 | 7 | -300/+0 |
* | sci-mathematics/why3-for-spark: Remove old | Jakov Smolic | 2021-01-20 | 2 | -153/+0 |
* | sci-mathematics/rstudio: Remove old | Jakov Smolic | 2021-01-20 | 14 | -1667/+0 |
* | sci-mathematics/twelf: Remove old | Jakov Smolic | 2021-01-20 | 1 | -113/+0 |
* | sci-mathematics/sha1-polyml: Remove old | Jakov Smolic | 2021-01-20 | 2 | -81/+0 |
* | sci-mathematics/petsc: Remove old | Jakov Smolic | 2021-01-20 | 2 | -190/+0 |
* | sci-mathematics/normaliz: Remove old | Jakov Smolic | 2021-01-20 | 6 | -232/+0 |
* | sci-mathematics/jags: Remove old | Jakov Smolic | 2021-01-20 | 4 | -140/+0 |
* | sci-mathematics/msieve: Remove old | Jakov Smolic | 2021-01-20 | 3 | -69/+0 |
* | sci-mathematics/maxima: Remove old | Jakov Smolic | 2021-01-20 | 3 | -428/+0 |
* | sci-mathematics/num-utils: Remove old | Jakov Smolic | 2021-01-20 | 2 | -50/+0 |
* | sci-mathematics/minisat: Remove old | Jakov Smolic | 2021-01-20 | 4 | -229/+0 |
* | sci-mathematics/nauty: Remove old | Jakov Smolic | 2021-01-20 | 2 | -42/+0 |
* | sci-mathematics/mathematica: Remove old | Jakov Smolic | 2021-01-20 | 3 | -205/+0 |
* | sci-mathematics/gretl: Remove old | Jakov Smolic | 2021-01-20 | 3 | -122/+0 |
* | sci-mathematics/flint: Remove old | Jakov Smolic | 2021-01-20 | 2 | -64/+0 |
* | sci-mathematics/ginac: Remove old | Jakov Smolic | 2021-01-20 | 2 | -67/+0 |
* | sci-mathematics/genius: Remove old | Jakov Smolic | 2021-01-20 | 3 | -86/+0 |
* | sci-mathematics/fricas: Remove old | Jakov Smolic | 2021-01-20 | 3 | -218/+0 |