summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/lean: drop old 3.39.1 & 3.42.0Maciej Barć2022-06-273-152/+0
* sci-mathematics/lean: bump to 3.44.1Maciej Barć2022-06-272-0/+76
* sci-mathematics/why3-for-spark: refix QA_FLAGSAlfredo Tupone2022-06-271-3/+3
* sci-mathematics/why3-for-spark: ignore some QA warningsAlfredo Tupone2022-06-271-13/+3
* sci-mathematics/pspp: add note re whichSam James2022-06-262-0/+29
* sci-mathematics/pspp: add 1.6.1Sam James2022-06-262-0/+86
* sci-mathematics/pspp: drop 1.2.0-r1, 1.4.1Sam James2022-06-2610-618/+0
* sci-mathematics/pspp: x86 stable wrt bug #853601Agostino Sarubbo2022-06-241-1/+1
* sci-mathematics/pspp: Stabilize 1.6.0 amd64, #853601Sam James2022-06-231-1/+1
* sci-mathematics/fricas: remove old versionAndrey Grozin2022-06-222-109/+0
* sci-mathematics/fricas: bump to 1.3.8Andrey Grozin2022-06-222-0/+111
* sci-mathematics/lpsolve: update EAPI 6 -> 8David Seifert2022-06-211-13/+3
* sci-mathematics/gimps: Version bump to 30.8.15Paolo Pedroni2022-06-212-4/+76
* sci-mathematics/gimps: Remove oldPaolo Pedroni2022-06-212-147/+0
* sci-mathematics/alt-ergo: fix OCaml depSam James2022-06-211-2/+2
* sci-mathematics/num-utils: x86 stable wrt bug #837833Agostino Sarubbo2022-06-181-1/+1
* sci-mathematics/num-utils: amd64 stable wrt bug #837833Agostino Sarubbo2022-06-181-1/+1
* sci-mathematics/num-utils: Stabilize 0.5-r2 arm, #837833Jakov Smolić2022-06-171-1/+1
* sci-mathematics/num-utils: ppc stable wrt bug #837833Agostino Sarubbo2022-06-171-2/+2
* sci-mathematics/polymake: new revision with a few fixes.Michael Orlitzky2022-06-152-0/+139
* sci-mathematics/alectryon: fix distutil callsMaciej Barć2022-06-141-2/+2
* sci-mathematics/primecount: new upstream v7.3.Michael Orlitzky2022-06-132-0/+55
* sci-mathematics/primesieve: new upstream v7.9.Michael Orlitzky2022-06-132-0/+51
* sci-mathematics/planarity: new upstream v3.0.2.0.Michael Orlitzky2022-06-122-0/+19
* sci-mathematics/lcalc: new revision that doesn't litter libtool files.Michael Orlitzky2022-06-121-0/+36
* sci-mathematics/cgal: keep stable version, drop unstable versionMatthias Maier2022-06-082-6/+6
* sci-mathematics/cgal: drop 5.1-r2, 5.2-r2, 5.2.2-r1Matthias Maier2022-06-084-239/+0
* sci-mathematics/cgal: add 5.4.1Matthias Maier2022-06-082-0/+79
* sci-mathematics/rkward: Drop 0.7.3Andreas Sturmlechner2022-06-082-58/+0
* sci-mathematics/pari: remove obsolete hppa workaround in an -r1.Michael Orlitzky2022-06-071-0/+117
* sci-mathematics/ginac: Stabilize 1.8.2 x86, #850328Jakov Smolić2022-06-071-1/+1
* sci-mathematics/ginac: Stabilize 1.8.2 amd64, #850328Jakov Smolić2022-06-071-1/+1
* sci-mathematics/pspp: add 1.6.0Sam James2022-06-072-0/+83
* sci-mathematics/z3: Remove oldMichał Górny2022-06-063-213/+0
* sci-mathematics/z3: Stabilize 4.8.17 amd64, #850061Jakov Smolić2022-06-061-1/+1
* sci-mathematics/z3: Stabilize 4.8.17 x86, #850061Jakov Smolić2022-06-061-1/+1
* sci-mathematics/z3: Stabilize 4.8.17 arm64, #850061Jakov Smolić2022-06-061-1/+1
* sci-mathematics/z3: Stabilize 4.8.17 ppc64, #850061Jakov Smolić2022-06-061-1/+1
* sci-mathematics/z3: Stabilize 4.8.17 arm, #850061Jakov Smolić2022-06-061-1/+1
* sci-mathematics/pari: remove old "unused" pari-2.13.3.ebuild.Michael Orlitzky2022-06-032-122/+0
* sci-mathematics/petsc: revbump for configure fixSam James2022-06-032-0/+0
* sci-mathematics/petsc: fix configuration with USE=mumpsFabio Rossi2022-06-032-3/+3
* sci-mathematics/pari: Stabilize 2.13.4 ppc, #849080Sam James2022-06-021-1/+1
* sci-mathematics/pari: Stabilize 2.13.4 ppc64, #849080Sam James2022-06-021-1/+1
* sci-mathematics/pari: Stabilize 2.13.4 amd64, #849080Sam James2022-06-021-1/+1
* sci-mathematics/pari: Stabilize 2.13.4 x86, #849080Sam James2022-06-021-1/+1
* sci-mathematics/rkward: 0.7.4 version bumpAndreas Sturmlechner2022-06-012-0/+58
* sci-mathematics/rkward: Drop 0.7.2-r1Andreas Sturmlechner2022-06-017-421/+0
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-05-312-0/+91
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-05-312-91/+0