summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cgal: add 6.0_beta1Matthias Maier4 days2-0/+63
* sci-mathematics/petsc: remove outdated LTO workaroundEli Schwartz4 days1-5/+0
* sci-mathematics/alt-ergo: remove broken live 9999Maciej Barć10 days1-76/+0
* sci-mathematics/alt-ergo: remove zarith pin; add ocplib-simplex-0.5 pinMaciej Barć10 days1-2/+2
* sci-mathematics/alt-ergo: restrict zarith versionMaciej Barć11 days1-2/+2
* sci-mathematics/gap: drop 4.13.0Michael Orlitzky12 days2-138/+0
* sci-mathematics/gap: Stabilize 4.13.1 amd64, #936054Sam James12 days1-1/+1
* sci-mathematics/nauty: reorder $S for pkgcheckMichael Orlitzky12 days1-2/+2
* sci-mathematics/nauty: drop 2.8.8Michael Orlitzky12 days1-79/+0
* sci-mathematics/pari: drop 2.15.4-r1Michael Orlitzky12 days4-236/+0
* sci-mathematics/nauty: Stabilize 2.8.8-r1 amd64, #936057Jakov Smolić12 days1-1/+1
* sci-mathematics/pari: Stabilize 2.15.5 amd64, #936056Jakov Smolić12 days1-1/+1
* sci-mathematics/pari: Stabilize 2.15.5 ppc64, #936056Arthur Zamarin12 days1-1/+1
* sci-mathematics/gimps: Version bump to 30.19.20Paolo Pedroni14 days2-0/+75
* sci-mathematics/slepc: add 3.21.1Matthias Maier2024-07-032-0/+127
* sci-mathematics/petsc: add 3.21.3Matthias Maier2024-07-034-0/+276
* sci-mathematics/cgal: add 5.6.1Matthias Maier2024-07-032-0/+62
* sci-mathematics/wxmaxima: call setup-wxwidgets from src_configureAndrey Grozin2024-07-031-1/+2
* sci-mathematics/easycrypt: drop old 2023.09Maciej Barć2024-07-022-51/+0
* sci-mathematics/easycrypt: restrict num to version <1.5Maciej Barć2024-07-021-0/+1
* sci-mathematics/octave: bump to version 9.2.0Fabio Rossi2024-07-023-0/+221
* sci-mathematics/fricas: remove old revisionAndrey Grozin2024-07-011-94/+0
* sci-mathematics/fricas: add missing dependenciesAndrey Grozin2024-07-011-0/+100
* sci-mathematics/fricas: remove old revisionAndrey Grozin2024-07-011-78/+0
* sci-mathematics/fricas: add USE flag docAndrey Grozin2024-07-012-0/+106
* sci-mathematics/fricas: remove old versionAndrey Grozin2024-06-303-145/+0
* sci-mathematics/fricas: bump to 1.3.11Andrey Grozin2024-06-302-0/+79
* sci-mathematics/stp: build tweaksMaciej Barć2024-06-292-4/+14
* */*: Reassign marecki's packagesMichał Górny2024-06-281-4/+1
* sci-mathematics/stp: bump to 2.3.4Maciej Barć2024-06-284-0/+160
* sci-mathematics/cadical: bump to 2.0.0Maciej Barć2024-06-283-0/+61
* sci-mathematics/cadical: drop old 1.9.4Maciej Barć2024-06-282-48/+0
* sci-mathematics/flint: drop 2.9.0Michael Orlitzky2024-06-263-151/+0
* sci-mathematics/flint: add 3.1.3_p1Michael Orlitzky2024-06-263-0/+410
* sci-mathematics/gap: add 4.13.1Michael Orlitzky2024-06-132-0/+139
* sci-mathematics/cryptominisat: enable python supportMaciej Barć2024-06-132-1/+69
* sci-mathematics/cryptominisat: patch unistd includeMaciej Barć2024-06-132-0/+16
* sci-mathematics/cryptominisat: drop old 5.11.15Maciej Barć2024-06-132-40/+0
* sci-mathematics/coq: bump to 8.19.2Maciej Barć2024-06-102-0/+123
* sci-mathematics/palp: stabilize 2.21 for amd64Michael Orlitzky2024-06-061-1/+1
* sci-mathematics/cubicle: ignore TEXTRELSAlfredo Tupone2024-06-041-1/+5
* sci-mathematics/z3: Keyword 4.13.0 mips, #779742Matoro Mahri2024-06-041-1/+1
* sci-mathematics/maxima: add python3_12Andrey Grozin2024-06-041-0/+233
* sci-mathematics/singular: fix dependency on flintAlain Emilia Anna Zscheile2024-06-021-3/+3
* sci-mathematics/wxmaxima: commit 24.02.1 backAndrey Grozin2024-05-302-0/+79
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2024-05-302-79/+0
* sci-mathematics/wxmaxima: bump to 24.05.0Andrey Grozin2024-05-302-0/+79
* sci-mathematics/singular: drop 4.3.2_p10Michael Orlitzky2024-05-292-115/+0
* sci-mathematics/singular: stabilize 4.3.2_p16 for amd64Michael Orlitzky2024-05-291-1/+1
* sci-mathematics/flint: Stabilize 3.1.0 arm64, #933042Sam James2024-05-291-1/+1