summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/jags: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/gsl-shell: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/gretl: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/glpk: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/diagrtb: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/dataplot: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/bertini: fix metadata indentationPetr Vaněk2022-10-201-4/+4
* sci-mathematics/4ti2: align longdescription opening and closing tagsPetr Vaněk2022-10-201-3/+3
* sci-mathematics/gimps: drop 30.8.16Andrew Ammerlaan2022-10-182-72/+0
* sci-mathematics/gimps: add 30.8.17Paolo Pedroni2022-10-182-0/+72
* sci-mathematics/octave: fix PkgMetadataXmlIndentationSam James2022-10-181-2/+2
* sci-mathematics/pspp: add savannah upstream metadataSam James2022-10-181-0/+3