| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | 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 |
GitWeb
