| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/why3-for-spark: UnusedInherits | Alfredo Tupone | 2021-09-18 | 1 | -2/+0 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | Ulrich Müller | 2021-09-11 | 82 | -82/+82 |
* | */*: Add upstream metadata | Andreas Sturmlechner | 2021-08-21 | 1 | -0/+3 |
* | sci-mathematics/ent: Port to EAPI 8 | Jakov Smolic | 2021-08-14 | 2 | -11/+8 |
* | sci-mathematics/flint: remove old "unused" versions. | Michael Orlitzky | 2021-08-07 | 9 | -288/+0 |
* | sci-mathematics/z3: Remove old | Michał Górny | 2021-08-06 | 3 | -194/+0 |
* | sci-mathematics/z3: Stabilize 4.8.11b arm64, #805470 | Sam James | 2021-08-06 | 1 | -1/+1 |
* | sci-mathematics/z3: x86 stable wrt bug #805470 | Agostino Sarubbo | 2021-08-03 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.11b arm, #805470 | Sam James | 2021-08-02 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.11b amd64, #805470 | Sam James | 2021-08-02 | 1 | -1/+1 |
* | sci-mathematics/flint: Stabilize 2.7.1-r1 ppc, #792684 | Sam James | 2021-08-02 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.11b ppc64, #805470 | Sam James | 2021-08-01 | 1 | -1/+1 |
* | sci-mathematics/jags: Version bump for 4.3.0 | xfim | 2021-07-26 | 2 | -0/+48 |
* | sci-mathematics/coq: use a dependency default flag | Viorel Munteanu | 2021-07-26 | 3 | -0/+268 |
* | sci-mathematics/singular: new upstream version 4.2.1. | Michael Orlitzky | 2021-07-18 | 2 | -0/+118 |
* | sci-mathematics/maxima: add slot:= operators for lisp dependencies. | Michael Orlitzky | 2021-07-17 | 1 | -3/+3 |
* | sci-mathematics/relational: PYTHON_MULTI_USEDEP -> PYTHON_USEDEP | David Seifert | 2021-07-17 | 1 | -2/+2 |
* | sci-mathematics/singular: remove unused patch | Michael Mair-Keimberger | 2021-07-15 | 1 | -79/+0 |
* | sci-mathematics/glpk: keyword 5.0-r1 for ~riscv | Marek Szuba | 2021-07-14 | 1 | -1/+1 |
* | sci-mathematics/lcalc: new version 2.0.3. | Michael Orlitzky | 2021-07-14 | 2 | -2/+2 |
* | sci-mathematics/z3: Bump to 4.8.11b | Michał Górny | 2021-07-11 | 2 | -0/+97 |
* | sci-mathematics/cgal: Depend on dev-libs/boost:=[threads(+)] | David Seifert | 2021-07-10 | 1 | -1/+1 |
* | sci-mathematics/cgal: version bump to 5.2.2 | Aisha Tammy | 2021-07-07 | 4 | -2/+82 |
* | sci-mathematics/planarity: new version 3.0.1.1. | Michael Orlitzky | 2021-07-05 | 2 | -7/+2 |
* | sci-mathematics/lcalc: bump to v2.0.2. | Michael Orlitzky | 2021-07-05 | 2 | -2/+2 |
* | sci-mathematics/wxmaxima: Update from l10n.eclass to plocale.eclass | Ulrich Müller | 2021-07-04 | 5 | -15/+15 |
* | sci-mathematics/singular: remove old "unused" singular-4.2.0_p3.ebuild. | Michael Orlitzky | 2021-07-01 | 1 | -105/+0 |
* | sci-mathematics/singular: better flag control to avoid segfault | François Bissey | 2021-07-01 | 1 | -1/+5 |
* | sci-mathematics/singular: fix the doc-install patch | François Bissey | 2021-07-01 | 2 | -1/+64 |
* | sci-mathematics/singular: Fix QA issues in 4.2.0_p3 | François Bissey | 2021-07-01 | 1 | -0/+104 |
* | sci-mathematics/eclib: remove old "unused" eclib-20210503.ebuild. | Michael Orlitzky | 2021-07-01 | 2 | -36/+0 |
* | sci-mathematics/eclib: new upstream release | François Bissey | 2021-07-01 | 2 | -0/+36 |
* | sci-mathematics/lcalc: new package for L-function computations. | Michael Orlitzky | 2021-07-01 | 3 | -0/+69 |
* | sci-mathematics/why3-for-spark: enabled hypothesis-selection | Alfredo Tupone | 2021-06-29 | 2 | -2/+12 |
* | sci-mathematics/why3-for-spark: disable hypothesis-selection | Alfredo Tupone | 2021-06-29 | 1 | -0/+1 |
* | sci-mathematics/fricas: bump to 1.3.7 | Andrey Grozin | 2021-06-25 | 2 | -0/+111 |
* | sci-mathematics/maxima: add virtual/libcrypt dependency | Sam James | 2021-06-22 | 4 | -1/+5 |
* | sci-mathematics/maxima: clean 5.45.0 | Andrey Grozin | 2021-06-21 | 2 | -236/+0 |
* | sci-mathematics/maxima: bump to 5.45.1 | Andrey Grozin | 2021-06-21 | 2 | -0/+236 |
* | sci-mathematics/planarity: use upstream SRC_URI. | Michael Orlitzky | 2021-06-18 | 2 | -9/+3 |
* | sci-mathematics/planarity: new upstream version, no more patches. | François Bissey | 2021-06-18 | 2 | -0/+30 |
* | sci-mathematics/cgal: Depend on dev-libs/boost:=[threads(+)] | David Seifert | 2021-06-18 | 3 | -6/+6 |
* | sci-mathematics/z3: Depend on dev-libs/gmp[cxx(+)] | David Seifert | 2021-06-18 | 2 | -2/+2 |
* | sci-mathematics/normaliz: Depend on dev-libs/gmp[cxx(+)] | David Seifert | 2021-06-18 | 2 | -3/+3 |
* | sci-mathematics/giac: Depend on dev-libs/gmp[cxx(+)] | David Seifert | 2021-06-18 | 1 | -1/+1 |
* | sci-mathematics/gfan: Depend on dev-libs/gmp[cxx(+)] | David Seifert | 2021-06-18 | 2 | -3/+3 |
* | sci-mathematics/frobby: Depend on dev-libs/gmp[cxx(+)] | David Seifert | 2021-06-18 | 1 | -2/+2 |
* | sci-mathematics/cgal: Depend on dev-libs/gmp[cxx(+)] | David Seifert | 2021-06-18 | 3 | -3/+3 |
* | sci-mathematics/4ti2: Depend on dev-libs/gmp[cxx(+)] | David Seifert | 2021-06-18 | 1 | -1/+1 |
* | sci-mathematics/nauty: fix bug #750482 + port to EAPI 7 | François Bissey | 2021-06-16 | 1 | -0/+56 |