summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq-serapi: bump to 0.16.0Maciej Barć2022-10-022-0/+68
* sci-mathematics/coq-serapi: restrict coq versionMaciej Barć2022-10-021-1/+1
* sci-mathematics/geogebra-bin: fix StaticSrcUriSam James2022-10-012-3/+3
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2022-09-273-160/+0
* sci-mathematics/wxmaxima: bump to 22.09.0Andrey Grozin2022-09-272-0/+80
* sci-mathematics/alt-ergo: 2.4.2 - do not depend on seqMaciej Barć2022-09-241-1/+0
* sci-mathematics/z3: Remove oldMichał Górny2022-09-232-108/+0
* sci-mathematics/vampire: depend on z3 version >=4.11.2Maciej Barć2022-09-232-2/+2
* sci-mathematics/z3: Remove oldMichał Górny2022-09-235-432/+0
* sci-mathematics/z3: Revert "Remove old"Michał Górny2022-09-236-0/+540
* sci-mathematics/z3: Remove oldMichał Górny2022-09-236-540/+0
* sci-mathematics/z3: Stabilize 4.11.2 sparc, #872290Arthur Zamarin2022-09-231-1/+1
* sci-mathematics/z3: Stabilize 4.11.2 ppc64, #872290Arthur Zamarin2022-09-221-1/+1
* sci-mathematics/z3: Stabilize 4.11.2 x86, #872290Jakov Smolić2022-09-221-1/+1
* sci-mathematics/z3: Stabilize 4.11.2 amd64, #872290Jakov Smolić2022-09-221-1/+1
* sci-mathematics/z3: Stabilize 4.11.2 arm, #872290Jakov Smolić2022-09-221-1/+1
* sci-mathematics/z3: Stabilize 4.11.2 arm64, #872290Jakov Smolić2022-09-221-1/+1
* sci-mathematics/pari: bullet-proof DLLD detection.Michael Orlitzky2022-09-201-7/+7
* sci-mathematics/pari: drop 2.13.4Michael Orlitzky2022-09-201-121/+0
* sci-mathematics/pari: add 2.15.0Michael Orlitzky2022-09-202-0/+127
* sci-mathematics/maxima: drop 5.42.1-r1, EAPI-6--Andreas Sturmlechner2022-09-197-369/+0
* sci-mathematics/maxima: re-keyword 5.46.0 for ~ppcAndreas Sturmlechner2022-09-191-1/+1
* sci-mathematics/why3: bump to 1.5.1Maciej Barć2022-09-192-0/+104
* sci-mathematics/gmm: drop 5.1, 5.3Andreas Sturmlechner2022-09-163-46/+0
* sci-mathematics/gmm: Stabilize 5.4 ppc64, #867541Arthur Zamarin2022-09-161-1/+1
* sci-mathematics/maxima: update ManifestUlrich Müller2022-09-161-1/+0
* sci-mathematics/maxima: Revert "drop 5.42.1-r1"Andreas Sturmlechner2022-09-167-0/+370
* sci-mathematics/maxima: drop 5.42.1-r1, 5.45.1-r2Andreas Sturmlechner2022-09-168-606/+0
* sci-mathematics/maxima: Stabilize 5.46.0 x86, #867547Agostino Sarubbo2022-09-161-1/+1
* sci-mathematics/gmm: Stabilize 5.4 ppc, #867541Arthur Zamarin2022-09-151-1/+1
* sci-mathematics/gmm: Stabilize 5.4 x86, #867541Sam James2022-09-151-1/+1
* sci-mathematics/maxima: Stabilize 5.46.0 amd64, #867547Agostino Sarubbo2022-09-151-1/+1
* sci-mathematics/gmm: Stabilize 5.4 amd64, #867541Agostino Sarubbo2022-09-151-2/+2
* sci-mathematics/maxima: disable the failing test suite.Michael Orlitzky2022-09-141-1/+1
* sci-mathematics/cadical: bump to 1.5.3Maciej Barć2022-09-133-0/+57
* sci-mathematics/octave: better slibtool fix in v6.4.0.Michael Orlitzky2022-09-111-0/+215
* sci-mathematics/octave: remove slibtool workaround from v7.2.0.Michael Orlitzky2022-09-111-5/+0
* sci-mathematics/polymake: add 4.7Michael Orlitzky2022-09-092-0/+123
* sci-mathematics/coq-mathcomp: bump to 1.15.0Maciej Barć2022-09-072-0/+18
* sci-mathematics/coq-mathcomp: constraint coq version to <8.16.0Maciej Barć2022-09-071-1/+1
* sci-mathematics/gimps: Version bump to 30.8.16Paolo Pedroni2022-09-072-0/+72
* sci-mathematics/giac: add 1.9.0.21, drop 1.9.0.19Michael Orlitzky2022-09-062-1/+1
* sci-mathematics/coq: drop old 8.15.0-r2Maciej Barć2022-09-062-112/+0
* sci-mathematics/coq: drop old 8.15.1Maciej Barć2022-09-062-112/+0
* sci-mathematics/coq: bump to 8.16.0Maciej Barć2022-09-062-0/+112
* sci-mathematics/z3: Bump to 4.11.2Michał Górny2022-09-042-0/+108
* sci-mathematics/cgal: remove boost[threads(+)] usedepDavid Seifert2022-09-043-3/+3
* sci-mathematics/jags: drop 4.2.0, EAPI-6--Andreas Sturmlechner2022-08-302-46/+0
* sci-mathematics/calc: drop 2.12.5.4, EAPI-6--Andreas Sturmlechner2022-08-303-220/+0
* sci-mathematics/jags: Stabilize 4.3.0 x86, #867538Jakov Smolić2022-08-301-1/+1