summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/gimps: Stabilize 30.8.17 amd64, #890640Sam James2023-01-131-2/+2
* sci-mathematics/gimps: Stabilize 30.8.15 amd64, #890640Sam James2023-01-131-1/+1
* sci-mathematics/gimps: Stabilize 30.8.15 x86, #890640Sam James2023-01-131-2/+2
* sci-mathematics/cryptominisat: bump to 5.11.4Maciej Barć2023-01-122-0/+39
* sci-mathematics/coq-serapi: drop old 0.15.0-r3Maciej Barć2023-01-122-65/+0
* sci-mathematics/coq-serapi: bump to 0.16.2Maciej Barć2023-01-122-0/+67
* sci-mathematics/cubicle: install the provided manual pageMaciej Barć2023-01-111-0/+2
* sci-mathematics/boolector: new package; add 3.2.2_p20220110Maciej Barć2023-01-113-0/+110
* sci-mathematics/cadical: install ccadical.hMaciej Barć2023-01-111-2/+4
* sci-mathematics/btor2tools: new package; add 1.0.0_pre20220518Maciej Barć2023-01-115-0/+100
* sci-mathematics/picosat: also install static librariesMaciej Barć2023-01-111-1/+2
* sci-mathematics/cubicle: new package; add 1.2.0Maciej Barć2023-01-114-0/+105
* sci-mathematics/singular: add 4.3.1_p3, drop 4.3.1_p2Michael Orlitzky2023-01-102-2/+2
* sci-mathematics/mathlib-tools: Remove Python < 3.10Michał Górny2023-01-103-6/+6
* sci-mathematics/kissat: new package; add 3.0.0Maciej Barć2023-01-103-0/+57
* sci-mathematics/z3: update metadata xmlMaciej Barć2023-01-101-0/+18
* sci-mathematics/octave: keyword 7.3.0-r2 for ~hppaSam James2023-01-091-1/+1
* sci-mathematics/geogebra-bin: drop 5.0.604.0-r2Georgy Yakovlev2023-01-092-56/+0
* sci-mathematics/geogebra-bin: add 5.0.752.0Georgy Yakovlev2023-01-092-0/+56
* sci-mathematics/opensmt: new package; add 2.4.3Maciej Barć2023-01-093-0/+82
* sci-mathematics/acl2: install TAGS if USE=emacsMaciej Barć2023-01-081-1/+1
* sci-mathematics/octave: disable GLIBCXX_ASSERTIONS (libstdc++ bug)Sam James2023-01-082-3/+9
* sci-mathematics/octave: drop 6.4.0-r3Sam James2023-01-081-215/+0
* sci-mathematics/acl2: new package; add 8.5Maciej Barć2023-01-084-0/+119
* sci-mathematics/eprover: do not call ar/ranlib directlyMaciej Barć2023-01-041-0/+4
* sci-mathematics/wxmaxima: bump to 22.12.0Andrey Grozin2023-01-042-0/+80
* sci-mathematics/eprover: new package; add 3.0_pre008Maciej Barć2023-01-043-0/+94
* sci-mathematics/pspp: new revision to fix a few security and QA issues.Michael Orlitzky2023-01-012-0/+115
* sci-mathematics/slepc: add 3.18.1Matthias Maier2022-12-283-0/+120
* sci-mathematics/petsc: add 3.18.2Matthias Maier2022-12-282-0/+237
* sci-mathematics/lean: bump to 3.50.3Maciej Barć2022-12-272-0/+78
* sci-mathematics/lean: drop old 3.50.0Maciej Barć2022-12-272-78/+0
* sci-mathematics/frobby: update EAPI 6 -> 8David Seifert2022-12-261-18/+14
* sci-mathematics/gappalib-coq: new package; add 1.5.2Maciej Barć2022-12-243-0/+53
* sci-mathematics/gappa: new package; add 1.4.1Maciej Barć2022-12-243-0/+62
* sci-mathematics/flocq: new package; add 4.1.0Maciej Barć2022-12-243-0/+50
* sci-mathematics/lean: bump to 3.50.2Maciej Barć2022-12-242-0/+78
* sci-mathematics/lean: drop old 3.49.1Maciej Barć2022-12-242-78/+0
* sci-mathematics/giac: drop 1.7.0.13-r1Michael Orlitzky2022-12-233-200/+0
* sci-mathematics/giac: stabilize 1.9.0.29-r1 for amd64Michael Orlitzky2022-12-231-1/+1
* sci-mathematics/singular: use https mirror in SRC_URI instead of ftpMichael Orlitzky2022-12-231-1/+1
* sci-mathematics/singular: drop 4.2.0_p1Michael Orlitzky2022-12-236-292/+0
* sci-mathematics/polymake: Stabilize 4.6-r1 x86, #832376Arthur Zamarin2022-12-231-1/+1
* sci-mathematics/singular: Stabilize 4.3.1_p1 x86, #832376Arthur Zamarin2022-12-231-1/+1
* sci-mathematics/lean: Stabilize 3.49.0 amd64, #887811Sam James2022-12-211-1/+1
* sci-mathematics/lean: bump to 3.50.1Maciej Barć2022-12-222-0/+78
* sci-mathematics/eclib: add 20221012Michael Orlitzky2022-12-212-0/+41
* sci-mathematics/polymake: drop 4.6Michael Orlitzky2022-12-211-121/+0
* sci-mathematics/polymake: add 4.8, drop 4.7Michael Orlitzky2022-12-212-1/+1
* sci-mathematics/singular: drop 4.2.1_p3-r1Michael Orlitzky2022-12-202-121/+0