summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/planarity: Stabilize 3.0.2.0 amd64, #864837Joonas Niilola2022-08-111-1/+1
* sci-mathematics/pari: Stabilize 2.13.4-r1 ppc64, #864214Arthur Zamarin2022-08-101-1/+1
* sci-mathematics/pari: Stabilize 2.13.4-r1 ppc, #864214Arthur Zamarin2022-08-101-1/+1
* sci-mathematics/pari: Stabilize 2.13.4-r1 x86, #864214Joonas Niilola2022-08-091-1/+1
* sci-mathematics/lean: drop old 3.43.0Maciej Barć2022-08-092-78/+0
* sci-mathematics/lean: bump to 3.46.0Maciej Barć2022-08-092-0/+78
* sci-mathematics/stp: compile python modulesMaciej Barć2022-08-081-1/+6
* sci-mathematics/mathematica: add 13.1.0Huang Rui2022-08-083-0/+192
* sci-mathematics/mathematica: add 13.0.1Huang Rui2022-08-083-4/+185
* sci-mathematics/pari: disable "help" tests in the absence of USE=doc.Michael Orlitzky2022-08-081-0/+9
* sci-mathematics/pari: amd64 stable wrt bug #864214Agostino Sarubbo2022-08-081-1/+1
* sci-mathematics/vampire: filter LTO (strict-aliasing)Maciej Barć2022-08-072-2/+10
* sci-mathematics/stp: filter LTO (ODR)Maciej Barć2022-08-071-2/+6
* sci-mathematics/primesieve: drop 7.7Michael Orlitzky2022-08-062-51/+0
* sci-mathematics/primesieve: stabilize 7.9 for amd64Michael Orlitzky2022-08-061-1/+1
* sci-mathematics/primecount: drop 7.2-r1Michael Orlitzky2022-08-062-55/+0
* sci-mathematics/primecount: stabilize 7.3 for amd64Michael Orlitzky2022-08-061-1/+1
* sci-mathematics/octave: drop 7.1.0Sam James2022-08-032-213/+0
* sci-mathematics/octave: add 7.2.0Sam James2022-08-032-0/+216