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/mathlib-tools: drop old 1.2.0Maciej Barć2022-12-172-52/+0
* sci-mathematics/mathlib-tools: bump to 1.3.2Maciej Barć2022-12-172-0/+54
* sci-mathematics/gmm: add 5.4.2Amy Liffey2022-12-162-0/+14
* sci-mathematics/lean: bump to 3.50.0Maciej Barć2022-12-152-0/+78
* sci-mathematics/lean: drop old 3.48.0Maciej Barć2022-12-152-78/+0
* sci-mathematics/lean: drop old 3.47.0Maciej Barć2022-12-152-78/+0
* sci-mathematics/polymake: stabilize 4.6-r1 for amd64Andreas K. Hüttel2022-12-111-1/+1
* sci-mathematics/cadabra: drop old 2.4.0.2Maciej Barć2022-12-062-105/+0
* sci-mathematics/cadabra: drop old 2.3.9.3Maciej Barć2022-12-062-100/+0
* sci-mathematics/cadabra: bump to 2.4.3.2Maciej Barć2022-12-062-0/+105
* sci-mathematics/picosat: fix patch applyMaciej Barć2022-12-061-1/+4
* sci-mathematics/picosat: new package; add 965Maciej Barć2022-12-064-0/+58
* sci-mathematics/cvc4: add github upstream metadataAlfredo Tupone2022-12-051-0/+3
* sci-mathematics/glpk: keyword 5.0-r1 for ~loongWANG Xuerui2022-12-041-2/+2
* sci-mathematics/rngstreams: use HTTPSSam James2022-12-031-2/+2
* sci-mathematics/unuran: add 1.9.0Sam James2022-12-033-0/+87
* sci-mathematics/rngstreams: workaround configure w/ non-bashSam James2022-12-031-2/+3
* sci-mathematics/unuran: use HTTPSSam James2022-12-031-3/+3
* Move {virtual -> app-alternatives}/yaccSam James2022-12-024-6/+6
* sci-mathematics/mathlib-tools: bump to 1.3.1Maciej Barć2022-11-292-0/+54
* sci-mathematics/cadabra: bump to 2.4.2.2Maciej Barć2022-11-282-0/+105
* sci-mathematics/z3: keyword 4.11.2 for ~loongWANG Xuerui2022-11-271-1/+1
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-262-91/+0
* sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12Alfredo Tupone2022-11-262-9/+4
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-11-262-0/+91
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-262-91/+0
* sci-mathematics/coq: bump to 8.16.1Maciej Barć2022-11-262-0/+112
* sci-mathematics/pari: add 2.15.1, drop 2.15.0Michael Orlitzky2022-11-232-1/+1
* sci-mathematics/octave: drop 5.2.0Andreas Sturmlechner2022-11-234-223/+0
* sci-mathematics/jags: add 4.3.1Sam James2022-11-222-0/+48
* sci-mathematics/jags: use ver_cut in SRC_URISam James2022-11-221-5/+5
* sci-mathematics/giac: add missing USE dep x11-libs/fltk[opengl].Michael Orlitzky2022-11-201-1/+1
* sci-mathematics/gmp-ecm: drop 7.0.4-r4Michael Orlitzky2022-11-194-161/+0
* sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 x86, #882059Sam James2022-11-201-1/+1
* sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 amd64, #882059Sam James2022-11-201-1/+1
* sci-mathematics/alt-ergo: remove seq reference from dune build fileMaciej Barć2022-11-192-0/+13
* sci-mathematics/lean: bump to 3.49.1Maciej Barć2022-11-182-0/+78
* sci-mathematics/gmp-ecm: Keyword 7.0.5-r1 ppc64, #871921Arthur Zamarin2022-11-181-1/+1
* sci-mathematics/arb: Keyword 2.23.0 ppc64, #871921Arthur Zamarin2022-11-181-1/+1
* sci-mathematics/flint: Keyword 2.9.0 ppc64, #871921Arthur Zamarin2022-11-181-1/+1
* sci-mathematics/octave: fix build loop with USE=doc & texinfo-7.0Sam James2022-11-152-0/+46
* sci-mathematics/mathlib-tools: bump to 1.3.0Maciej Barć2022-11-132-0/+54
* sci-mathematics/mathlib-tools: drop old 1.1.2-r1Maciej Barć2022-11-132-52/+0
* sci-mathematics/mathlib-tools: drop old 1.1.1-r1Maciej Barć2022-11-132-51/+0
* sci-mathematics/lean: drop old 3.46.0Maciej Barć2022-11-122-78/+0
* sci-mathematics/lean: bump to 3.49.0Maciej Barć2022-11-122-0/+78
* sci-mathematics/cvc4: drop toml usageAlfredo Tupone2022-11-112-3/+52
* sci-mathematics/giac: drop 1.7.0.47, 1.9.0.5, 1.9.0.21François Bissey2022-11-104-507/+0
* sci-mathematics/giac: add 1.9.0.29François Bissey2022-11-102-0/+173
* sci-mathematics/octave: new revision fixing some dependency issues.Michael Orlitzky2022-11-092-11/+38