Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/lean: filter LTO (odr)Maciej Barć2022-08-024-4/+12
* sci-mathematics/z3: Stabilize 4.8.17 sparc, #862999Arthur Zamarin2022-08-021-1/+1
* sci-mathematics/z3: Bump to 4.10.2Michał Górny2022-07-302-0/+109
* sci-mathematics/octave: Move dev-qt/linguist-tools:5 to BDEPENDAndreas Sturmlechner2022-07-272-6/+8
* sci-mathematics/why3-for-spark: use httpsMichael Mair-Keimberger2022-07-263-3/+3
* sci-mathematics/why3: use httpsMichael Mair-Keimberger2022-07-263-3/+3
* sci-mathematics/vampire: bump to 4.7Maciej Barć2022-07-232-0/+58
* sci-mathematics/vampire: restrict z3 dep versionMaciej Barć2022-07-231-2/+2
* sci-mathematics/z3: Bump to 4.10.1Michał Górny2022-07-232-0/+109