summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/primecount: stabilize 7.4 for amd64Michael Orlitzky2022-10-201-1/+1
* sci-mathematics/primesieve: drop 7.9Michael Orlitzky2022-10-202-51/+0
* sci-mathematics/primesieve: stabilize 8.0 for amd64Michael Orlitzky2022-10-201-1/+1
* sci-mathematics/wxmaxima: align longdescription opening and closing tagsPetr Vaněk2022-10-201-6/+6
* sci-mathematics/twelf: align longdescription opening and closing tagsPetr Vaněk2022-10-201-4/+4
* sci-mathematics/pspp: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/prover9: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/pari: align longdescription opening and closing tagsPetr Vaněk2022-10-201-3/+2
* sci-mathematics/nauty: align longdescription opening and closing tagsPetr Vaněk2022-10-201-4/+4
* sci-mathematics/maxima: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1