| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | sci-mathematics/gfan: remove old "unused" ebuilds. |  Michael Orlitzky | 2022-01-27 | 2 | -134/+0 |
* | sci-mathematics/gfan: Stabilize 0.6.2-r4 amd64, #832044 |  Jakov Smolić | 2022-01-26 | 1 | -1/+1 |
* | sci-mathematics/gfan: Stabilize 0.6.2-r4 x86, #832044 |  Jakov Smolić | 2022-01-26 | 1 | -1/+1 |
* | **/metadata.xml: Replace http by https in DOCTYPE element |  Ulrich Müller | 2022-01-25 | 11 | -11/+11 |
* | sci-mathematics/gfan: disable test that fails on x86. |  Michael Orlitzky | 2022-01-25 | 1 | -0/+4 |
* | sci-mathematics/gfan: new revision to fix the doc build. |  Michael Orlitzky | 2022-01-25 | 1 | -0/+71 |
* | sci-mathematics/minisat: reformat metadata.xml |  David Seifert | 2022-01-24 | 1 | -24/+23 |
* | sci-mathematics/minisat: don't install static libraries (pg0204) |  David Seifert | 2022-01-24 | 2 | -6/+58 |
* | sci-mathematics/yafu: Add openmp dependency |  Patrick Lauer | 2022-01-23 | 1 | -1/+5 |
* | sci-mathematics/geogebra-bin: add 5.0.683.0 |  Georgy Yakovlev | 2022-01-22 | 2 | -0/+56 |
* | sci-mathematics/pari: remove old "unused" pari-2.13.2.ebuild. |  Michael Orlitzky | 2022-01-20 | 2 | -122/+0 |
* | sci-mathematics/pari: Stabilize 2.13.3 ppc, #831413 |  Sam James | 2022-01-19 | 1 | -1/+1 |
* | sci-mathematics/pari: Stabilize 2.13.3 ppc64, #831413 |  Sam James | 2022-01-19 | 1 | -1/+1 |
* | sci-mathematics/nauty: remove old "unused" ebuilds. |  Michael Orlitzky | 2022-01-18 | 3 | -108/+0 |