summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/stp: do not run C API testsMaciej Barć2022-11-061-1/+3
* sci-mathematics/octave: Stabilize 6.4.0-r3 arm, #854489Sam James2022-11-051-1/+1
* sci-mathematics/octave: add 7.3.0Sam James2022-11-052-0/+209
* sci-mathematics/coq-serapi: bump to 0.16.1Maciej Barć2022-10-312-0/+67
* sci-mathematics/nauty: drop 2.7.3Michael Orlitzky2022-10-292-78/+0
* sci-mathematics/nauty: Stabilize 2.7.4 x86, #877789Sam James2022-10-281-1/+1
* sci-mathematics/cadabra: drop old 2.4.2Maciej Barć2022-10-272-105/+0
* sci-mathematics/cadabra: bump to 2.4.2.1Maciej Barć2022-10-272-0/+105
* sci-mathematics/coq-serapi: remove seq dependencyMaciej Barć2022-10-271-1/+0
* sci-mathematics/cadabra: bump to 2.4.2Maciej Barć2022-10-272-0/+105
* sci-mathematics/rkward: drop 0.7.4Andreas Sturmlechner2022-10-252-58/+0
* sci-mathematics/singular: Stabilize 4.3.1_p1 amd64, #873052Sam James2022-10-251-1/+1
* sci-mathematics/nauty: Stabilize 2.7.4 amd64, #877789Sam James2022-10-251-1/+1
* sci-mathematics/mathlib-tools: add DISTUTILS_USE_PEP517Maciej Barć2022-10-232-0/+2
* sci-mathematics/mathlib-tools: drop old 1.1.0-r1Maciej Barć2022-10-232-50/+0
* sci-mathematics/mathlib-tools: bump to 1.2.0Maciej Barć2022-10-232-0/+52
* sci-mathematics/rkward: add 0.7.5Andreas Sturmlechner2022-10-222-0/+58
* sci-mathematics/eclib: drop 20210625Michael Orlitzky2022-10-202-36/+0
* sci-mathematics/primecount: drop 7.3Michael Orlitzky2022-10-202-55/+0