summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cryptominisat: bump to 5.11.21Maciej Barć2024-02-142-0/+41
* sci-mathematics/cryptominisat: drop old 5.11.14Maciej Barć2024-02-142-40/+0
* sci-mathematics/prover9: fix tests; bump to EAPI 8Maciej Barć2024-02-141-25/+23
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2024-02-142-79/+0
* sci-mathematics/wxmaxima: bump to 24.02.1Andrey Grozin2024-02-142-0/+79
* */*: Reassign gienah's packagesMichał Górny2024-02-144-15/+1
* sci-mathematics/polymake: Stabilize 4.11 amd64, #922874Matoro Mahri2024-02-101-2/+2
* sci-mathematics/wxmaxima: bump to 24.02.0Andrey Grozin2024-02-092-0/+79
* sci-mathematics/z3: Remove oldMichał Górny2024-02-092-108/+0
* sci-mathematics/z3: Stabilize 4.12.5 amd64, #924099Sam James2024-02-091-1/+1
* sci-mathematics/eclib: drop 20230424Michael Orlitzky2024-02-082-48/+0
* sci-mathematics/eclib: stabilize 20231212 for amd64Michael Orlitzky2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 arm, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 arm64, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 ppc64, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 x86, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 sparc, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/cadical: bump to 1.9.4Maciej Barć2024-02-082-0/+48
* sci-mathematics/cadical: drop old 1.5.3-r1Maciej Barć2024-02-082-38/+0
* sci-mathematics/gap: add 4.13.0_alpha1 masked for testingMichael Orlitzky2024-02-072-0/+138
* sci-mathematics/gap: respect CC and CXX in the "gac" compilerMichael Orlitzky2024-02-052-0/+44
* sci-mathematics/coq-serapi: bump to 0.19.0Maciej Barć2024-02-053-0/+88
* sci-mathematics/easycrypt: bump to 2024.01Maciej Barć2024-02-032-0/+50
* sci-mathematics/easycrypt: drop old 2022.04_p20230324Maciej Barć2024-02-032-52/+0
* sci-mathematics/lpsolve: Stabilize 5.5.2.11-r2 ppc64, #921319Arthur Zamarin2024-02-021-2/+2
* sci-mathematics/cgal: Stabilize 5.6 amd64, #923366Sam James2024-01-311-1/+1
* sci-mathematics/cadabra: bump to 2.4.5.4Maciej Barć2024-01-252-0/+112
* sci-mathematics/cadabra: drop old 2.4.3.2-r1Maciej Barć2024-01-252-105/+0
* sci-mathematics/coq: bump to 8.19.0Maciej Barć2024-01-252-0/+123
* sci-mathematics/singular: drop 4.3.2_p1Michael Orlitzky2024-01-222-109/+0
* sci-mathematics/nauty: drop 2.8.6-r1Michael Orlitzky2024-01-223-218/+0
* sci-mathematics/gap: use a bash array for econf argsMichael Orlitzky2024-01-221-8/+10
* sci-mathematics/gap: fix regeneration of aclocal.m4Michael Orlitzky2024-01-221-0/+8
* sci-mathematics/gap: drop USE=emacs (a no-op)Michael Orlitzky2024-01-221-1/+1
* sci-mathematics/gap: update dev-util/valgrind -> dev-debug/valgrindMichael Orlitzky2024-01-221-1/+1
* sci-mathematics/gap: PDEPEND on autoloaded packages without USE=minimalMichael Orlitzky2024-01-222-2/+30
* sci-mathematics/gap: depend on required packages, enable testsMichael Orlitzky2024-01-221-2/+33
* sci-mathematics/gap: new package, add 4.12.2Michael Orlitzky2024-01-223-0/+114
* sci-mathematics/nauty: Stabilize 2.8.8 amd64, #922648Sam James2024-01-221-2/+2
* sci-mathematics/singular: Stabilize 4.3.2_p10 amd64, #922647Sam James2024-01-221-2/+2
* sci-mathematics/z3: Bump to 4.12.5Michał Górny2024-01-222-0/+108
* sci-mathematics/cvc4: PythonCompatUpdateAlfredo Tupone2024-01-191-2/+2
* sci-mathematics/lean: Stabilize 4.2.0 amd64, #922367Sam James2024-01-181-2/+2
* sci-mathematics/coq: Stabilize 8.18.0 amd64, #915951Matoro Mahri2024-01-161-2/+2
* sci-mathematics/eprover: bump to 3.0.03Maciej Barć2024-01-152-0/+77
* sci-mathematics/gappa: bump to 1.4.2Maciej Barć2024-01-152-0/+44
* sci-mathematics/lean: drop old 4.2.0_rc4Maciej Barć2024-01-152-79/+0
* sci-mathematics/coq-mathcomp: bump to 1.19.0Maciej Barć2024-01-152-0/+26
* sci-mathematics/coq-mathcomp: drop old 1.16.0-r1Maciej Barć2024-01-152-26/+0
* sci-mathematics/coq-serapi: drop old 0.17.0Maciej Barć2024-01-152-71/+0