summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: UnusedInheritsAlfredo Tupone2021-09-181-2/+0
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-1182-82/+82
* */*: Add upstream metadataAndreas Sturmlechner2021-08-211-0/+3
* sci-mathematics/ent: Port to EAPI 8Jakov Smolic2021-08-142-11/+8
* sci-mathematics/flint: remove old "unused" versions.Michael Orlitzky2021-08-079-288/+0
* sci-mathematics/z3: Remove oldMichał Górny2021-08-063-194/+0
* sci-mathematics/z3: Stabilize 4.8.11b arm64, #805470Sam James2021-08-061-1/+1
* sci-mathematics/z3: x86 stable wrt bug #805470Agostino Sarubbo2021-08-031-1/+1
* sci-mathematics/z3: Stabilize 4.8.11b arm, #805470Sam James2021-08-021-1/+1
* sci-mathematics/z3: Stabilize 4.8.11b amd64, #805470Sam James2021-08-021-1/+1
* sci-mathematics/flint: Stabilize 2.7.1-r1 ppc, #792684Sam James2021-08-021-1/+1
* sci-mathematics/z3: Stabilize 4.8.11b ppc64, #805470Sam James2021-08-011-1/+1
* sci-mathematics/jags: Version bump for 4.3.0xfim2021-07-262-0/+48
* sci-mathematics/coq: use a dependency default flagViorel Munteanu2021-07-263-0/+268
* sci-mathematics/singular: new upstream version 4.2.1.Michael Orlitzky2021-07-182-0/+118
* sci-mathematics/maxima: add slot:= operators for lisp dependencies.Michael Orlitzky2021-07-171-3/+3
* sci-mathematics/relational: PYTHON_MULTI_USEDEP -> PYTHON_USEDEPDavid Seifert2021-07-171-2/+2
* sci-mathematics/singular: remove unused patchMichael Mair-Keimberger2021-07-151-79/+0
* sci-mathematics/glpk: keyword 5.0-r1 for ~riscvMarek Szuba2021-07-141-1/+1
* sci-mathematics/lcalc: new version 2.0.3.Michael Orlitzky2021-07-142-2/+2
* sci-mathematics/z3: Bump to 4.8.11bMichał Górny2021-07-112-0/+97
* sci-mathematics/cgal: Depend on dev-libs/boost:=[threads(+)]David Seifert2021-07-101-1/+1
* sci-mathematics/cgal: version bump to 5.2.2Aisha Tammy2021-07-074-2/+82
* sci-mathematics/planarity: new version 3.0.1.1.Michael Orlitzky2021-07-052-7/+2
* sci-mathematics/lcalc: bump to v2.0.2.Michael Orlitzky2021-07-052-2/+2
* sci-mathematics/wxmaxima: Update from l10n.eclass to plocale.eclassUlrich Müller2021-07-045-15/+15
* sci-mathematics/singular: remove old "unused" singular-4.2.0_p3.ebuild.Michael Orlitzky2021-07-011-105/+0
* sci-mathematics/singular: better flag control to avoid segfaultFrançois Bissey2021-07-011-1/+5
* sci-mathematics/singular: fix the doc-install patchFrançois Bissey2021-07-012-1/+64
* sci-mathematics/singular: Fix QA issues in 4.2.0_p3François Bissey2021-07-011-0/+104
* sci-mathematics/eclib: remove old "unused" eclib-20210503.ebuild.Michael Orlitzky2021-07-012-36/+0
* sci-mathematics/eclib: new upstream releaseFrançois Bissey2021-07-012-0/+36
* sci-mathematics/lcalc: new package for L-function computations.Michael Orlitzky2021-07-013-0/+69
* sci-mathematics/why3-for-spark: enabled hypothesis-selectionAlfredo Tupone2021-06-292-2/+12
* sci-mathematics/why3-for-spark: disable hypothesis-selectionAlfredo Tupone2021-06-291-0/+1
* sci-mathematics/fricas: bump to 1.3.7Andrey Grozin2021-06-252-0/+111
* sci-mathematics/maxima: add virtual/libcrypt dependencySam James2021-06-224-1/+5
* sci-mathematics/maxima: clean 5.45.0Andrey Grozin2021-06-212-236/+0
* sci-mathematics/maxima: bump to 5.45.1Andrey Grozin2021-06-212-0/+236
* sci-mathematics/planarity: use upstream SRC_URI.Michael Orlitzky2021-06-182-9/+3
* sci-mathematics/planarity: new upstream version, no more patches.François Bissey2021-06-182-0/+30
* sci-mathematics/cgal: Depend on dev-libs/boost:=[threads(+)]David Seifert2021-06-183-6/+6
* sci-mathematics/z3: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-182-2/+2
* sci-mathematics/normaliz: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-182-3/+3
* sci-mathematics/giac: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-181-1/+1
* sci-mathematics/gfan: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-182-3/+3
* sci-mathematics/frobby: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-181-2/+2
* sci-mathematics/cgal: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-183-3/+3
* sci-mathematics/4ti2: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-181-1/+1
* sci-mathematics/nauty: fix bug #750482 + port to EAPI 7François Bissey2021-06-161-0/+56