| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/coq: update metadata | Maciej Barć | 2022-02-27 | 1 | -1/+3 |
* | sci-mathematics/lean: remove USE=json and inherit of optfeature | Maciej Barć | 2022-02-22 | 5 | -16/+13 |
* | sci-mathematics/lean: drop old 3.37.0 | Maciej Barć | 2022-02-22 | 2 | -76/+0 |
* | sci-mathematics/lean: bump to 3.40.0 | Maciej Barć | 2022-02-22 | 2 | -0/+76 |
* | sci-mathematics/yacas: add version 1.9.1 | Andrew Ammerlaan | 2022-02-19 | 2 | -0/+76 |
* | sci-mathematics/coq: fix doc build - add missing fonts | Maciej Barć | 2022-02-18 | 1 | -0/+2 |
* | sci-mathematics/coq: fix doc build - add xetex dep | Maciej Barć | 2022-02-18 | 1 | -0/+1 |
* | sci-mathematics/coq: add missing latexextra dep | Maciej Barć | 2022-02-17 | 1 | -0/+1 |
* | sci-mathematics/cvc4: fix deps check | Alfredo Tupone | 2022-02-17 | 1 | -3/+6 |
* | sci-mathematics/coq: enable doc | Maciej Barć | 2022-02-17 | 1 | -16/+17 |
* | sci-mathematics/fann: fix DeprecatedInsinto | Conrad Kostecki | 2022-02-13 | 2 | -6/+6 |
* | sci-mathematics/z3: Remove old | Michał Górny | 2022-02-12 | 2 | -104/+0 |
* | sci-mathematics/z3: Stabilize 4.8.14 arm64, #833068 | Arthur Zamarin | 2022-02-11 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.14 arm, #833068 | Arthur Zamarin | 2022-02-11 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: remove unused patch | Michael Mair-Keimberger | 2022-02-10 | 1 | -25/+0 |
* | sci-mathematics/z3: Stabilize 4.8.14 ppc64, #833068 | Sam James | 2022-02-10 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.14 x86, #833068 | Sam James | 2022-02-10 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.14 amd64, #833068 | Jakov Smolić | 2022-02-10 | 1 | -2/+2 |
* | sci-mathematics/cvc4: revbump for CMake config file fix | Sam James | 2022-02-09 | 1 | -0/+0 |
* | sci-mathematics/cvc4: fix library path | Alfredo Tupone | 2022-02-08 | 1 | -0/+9 |
* | sci-mathematics/lean: drop old 3.35.1-r2 | Maciej Barć | 2022-02-08 | 2 | -76/+0 |
* | sci-mathematics/lean: bump to 3.39.1 | Maciej Barć | 2022-02-08 | 2 | -0/+76 |
* | sci-mathematics/cvc4: fix deps | Alfredo Tupone | 2022-02-08 | 1 | -1/+5 |
* | sci-mathematics/cvc4: remove unused CMake variables | Alfredo Tupone | 2022-02-08 | 1 | -3/+1 |
* | sci-mathematics/why3-for-spark: ignore CFLAGS | Alfredo Tupone | 2022-02-07 | 1 | -12/+14 |
* | sci-mathematics/why3-for-spark: works with new ocaml too | Alfredo Tupone | 2022-02-07 | 1 | -2/+2 |
* | sci-mathematics/polymake: Stabilize 4.6 amd64, #832376 | Jakov Smolić | 2022-02-07 | 1 | -1/+1 |
* | sci-mathematics/singular: Stabilize 4.2.1_p3-r1 amd64, #832376 | Jakov Smolić | 2022-02-07 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: duplicate deps | Alfredo Tupone | 2022-02-07 | 1 | -1/+0 |
* | sci-mathematics/why3-for-spark: fix doc deps | Alfredo Tupone | 2022-02-07 | 1 | -1/+2 |
* | sci-mathematics/singular: Drop julia configure switch | Jakov Smolić | 2022-02-07 | 1 | -1/+0 |
* | sci-mathematics/why3-for-spark: drop old version | Alfredo Tupone | 2022-02-06 | 4 | -78/+3 |
* | sci-mathematics/cvc4: PythonCompatUpdate | Alfredo Tupone | 2022-02-05 | 2 | -4/+4 |
* | sci-mathematics/singular: drop USE=julia in a new revision. | Michael Orlitzky | 2022-02-04 | 3 | -126/+2 |
* | sci-mathematics/giac: remove old "unused" giac-1.7.0.45.ebuild. | Michael Orlitzky | 2022-02-02 | 2 | -166/+0 |
* | sci-mathematics/giac: version bump. Disable quickjs. | François Bissey | 2022-02-02 | 2 | -0/+167 |
* | sci-mathematics/ginac: ginac-1.8.2[doc] DEPENDs on texlive-latexextra | Andrey Grozin | 2022-02-02 | 1 | -0/+1 |
* | sci-mathematics/arb: bump to 2.22.1 | Andrey Grozin | 2022-02-02 | 2 | -0/+34 |
* | sci-mathematics/ginac: bump to 1.8.2 | Andrey Grozin | 2022-02-02 | 3 | -0/+85 |
* | sci-mathematics/polymake: new upstream release polymake-4.6. | Michael Orlitzky | 2022-01-30 | 2 | -4/+8 |
* | sci-mathematics/lean: bump to 3.38.0 | Maciej Barć | 2022-01-30 | 2 | -0/+76 |
* | sci-mathematics/primecount: maintainer stabilize on amd64. | Michael Orlitzky | 2022-01-30 | 1 | -2/+2 |
* | sci-mathematics/primesieve: maintainer stabilize on amd64. | Michael Orlitzky | 2022-01-30 | 1 | -2/+2 |
* | */*: consistent PYTHON_COMPAT style | David Seifert | 2022-01-30 | 1 | -2/+2 |
* | sci-mathematics/easycrypt: fix theories location; bump to EAPI 8 | Maciej Barć | 2022-01-30 | 1 | -5/+12 |
* | sci-mathematics/msieve: fix build system | David Seifert | 2022-01-29 | 4 | -29/+128 |
* | sci-mathematics/coq: bump to 8.15.0 | Maciej Barć | 2022-01-28 | 2 | -0/+107 |
* | sci-mathematics/mathematica: drop unused unpacker.eclass | Andreas K. Hüttel | 2022-01-28 | 2 | -4/+4 |
* | sci-mathematics/mathematica: bump to 13.0.0 | Huang Rui | 2022-01-28 | 2 | -0/+105 |
* | sci-mathematics/mathematica: bump to 12.2.0 | Huang Rui | 2022-01-28 | 2 | -0/+105 |