summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/calc: Stabilize 2.13.0.1 amd64, #867544Jakov Smolić2022-08-301-1/+1
* sci-mathematics/jags: Stabilize 4.3.0 amd64, #867538Jakov Smolić2022-08-301-2/+2
* sci-mathematics/sha1-polyml: drop 5.6_p1, EAPI-6--Andreas Sturmlechner2022-08-302-62/+0
* sci-mathematics/gsl-shell: drop 2.3.0_beta1-r1, EAPI-6--Andreas Sturmlechner2022-08-308-164/+0
* sci-mathematics/genius: drop 1.0.25, EAPI-6--Andreas Sturmlechner2022-08-303-232/+0
* sci-mathematics/lean: drop old 3.45.0Maciej Barć2022-08-302-78/+0
* sci-mathematics/lean: bump to 3.48.0Maciej Barć2022-08-302-0/+78
* sci-mathematics/petsc: use <pkg> tags in metadata.xmlPetr Vaněk2022-08-261-4/+4
* sci-mathematics/cvc4: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
* sci-mathematics/sha1-polyml: avoid distfile conflict with dev-lang/polymlAndrew Ammerlaan2022-08-262-2/+2
* sci-mathematics/sha1-polyml: add 5.9Andrew Ammerlaan2022-08-262-0/+57
* sci-mathematics/sha1-polyml: Update package metadataPetr Vaněk2022-08-261-4/+4
* sci-mathematics/mathlib-tools: bump to 1.1.2Maciej Barć2022-08-262-0/+51
* sci-mathematics/lean: drop old 3.44.1Maciej Barć2022-08-262-78/+0
* sci-mathematics/lean: bump to 3.47.0Maciej Barć2022-08-262-0/+78
* sci-mathematics/lean: fix liveMaciej Barć2022-08-261-3/+3
* sci-mathematics/primecount: add 7.4Michael Orlitzky2022-08-222-0/+55
* sci-mathematics/primesieve: add 8.0Michael Orlitzky2022-08-222-0/+51
* sci-mathematics/agda: treecleanJakov Smolić2022-08-214-190/+0
* sci-mathematics/agda-stdlib: treecleanJakov Smolić2022-08-214-85/+0
* sci-mathematics/rstudio: treecleanJakov Smolić2022-08-2118-1013/+0
* sci-mathematics/alt-ergo: bump to 2.4.2Maciej Barć2022-08-202-0/+56
* sci-mathematics/z3: Stabilize 4.10.2 x86, #865789Sam James2022-08-191-1/+1
* sci-mathematics/z3: Stabilize 4.10.2 amd64, #865789Sam James2022-08-191-1/+1
* sci-mathematics/z3: Stabilize 4.10.2 arm64, #865789Arthur Zamarin2022-08-191-1/+1
* sci-mathematics/z3: Stabilize 4.10.2 arm, #865789Arthur Zamarin2022-08-191-1/+1
* sci-mathematics/z3: Bump to 4.11.0Michał Górny2022-08-192-0/+108
* sci-mathematics/normaliz: drop 3.1.3-r1, 3.8.10-r1Michael Orlitzky2022-08-163-133/+0
* sci-mathematics/normaliz: x86 stable wrt bug #865345Agostino Sarubbo2022-08-161-1/+1
* sci-mathematics/normaliz: amd64 stable wrt bug #865345Agostino Sarubbo2022-08-161-1/+1
* */*: Drop CMAKE_ECLASS meta var superfluous in EAPI-8Andreas Sturmlechner2022-08-154-4/+0
* sci-mathematics/eclib: x86 stable wrt bug #864997Agostino Sarubbo2022-08-151-1/+1
* sci-mathematics/eclib: amd64 stable wrt bug #864997Agostino Sarubbo2022-08-131-1/+1
* sci-mathematics/octave: don't install test logs with FEATURES=test.Michael Orlitzky2022-08-121-2/+0
* sci-mathematics/lpsolve: keyword 5.5.2.0-r1 for ~loongWANG Xuerui2022-08-121-1/+1
* sci-mathematics/planarity: drop 3.0.1.1Michael Orlitzky2022-08-112-19/+0
* sci-mathematics/nauty: add 2.7.4Michael Orlitzky2022-08-112-0/+85
* sci-mathematics/planarity: Stabilize 3.0.2.0 x86, #864837Joonas Niilola2022-08-111-1/+1