summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/lean: bump to 3.51.0Maciej Barć2023-05-172-0/+81
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2023-05-143-160/+0
* sci-mathematics/wxmaxima: DEPEND on wxGTK:3.2-gtk3Andrey Grozin2023-05-141-0/+79
* sci-mathematics/eclib: add 20230424François Bissey2023-05-092-0/+46
* sci-mathematics/slepc: update SRC_URI and fix USE=docMatthias Maier2023-05-072-1/+9
* sci-mathematics/slepc: add 3.19.0Matthias Maier2023-05-072-0/+119
* sci-mathematics/petsc: add 3.19.1Matthias Maier2023-05-072-0/+237
* sci-mathematics/lpsolve: drop 5.5.2.0-r1Andreas Sturmlechner2023-05-032-21/+0
* sci-mathematics/lpsolve: Stabilize 5.5.2.11-r2 amd64, #894400Sam James2023-05-011-1/+1
* sci-mathematics/form: workaround GCC -fchecking ICE w/ -Wno-uninitializedSam James2023-04-301-1/+4
* sci-mathematics/lpsolve: Stabilize 5.5.2.11-r2 x86, #894400Arthur Zamarin2023-04-291-1/+1
* sci-mathematics/lpsolve: Stabilize 5.5.2.11-r2 arm64, #894400Arthur Zamarin2023-04-261-1/+1
* sci-mathematics/wxmaxima: bump to 23.04.1Andrey Grozin2023-04-252-0/+80
* sci-mathematics/maxima: Stabilize 5.46.0-r1 x86, #904613Jakov Smolić2023-04-231-1/+1
* sci-mathematics/cadabra: gtk -> gui; minor tweaksMaciej Barć2023-04-231-7/+7
* sci-mathematics/cadabra: drop old 2.4.2.2-r1Maciej Barć2023-04-232-105/+0
* sci-mathematics/cadabra: update PYTHON_COMPATMaciej Barć2023-04-231-1/+1
* sci-mathematics/cadabra: drop old 2.4.2.1-r1Maciej Barć2023-04-202-105/+0
* sci-mathematics/maxima: Stabilize 5.46.0-r1 amd64, #904613Sam James2023-04-191-1/+1
* sci-mathematics/ginac: Stabilize 1.8.6 x86, #904576Sam James2023-04-191-1/+1
* sci-mathematics/ginac: Stabilize 1.8.6 amd64, #904576Sam James2023-04-191-1/+1
* sci-mathematics/lean: fix build with GCC 13Maciej Barć2023-04-183-9/+25
* sci-mathematics/lean: drop old 3.50.2Maciej Barć2023-04-182-78/+0
* sci-mathematics/lean: drop old 3.50.1Maciej Barć2023-04-182-78/+0
* sci-mathematics/cryptominisat: fix build with GCC 13Maciej Barć2023-04-182-0/+13
* sci-mathematics/cryptominisat: drop old 5.8.0Maciej Barć2023-04-183-67/+0
* sci-mathematics/4ti2: fix build w/ gcc 13Sam James2023-04-182-2/+26
* sci-mathematics/4ti2: add github upstream metadataSam James2023-04-181-0/+3
* sci-mathematics/arb: keyword 2.23.0 for ~loongWANG Xuerui2023-04-161-2/+2
* sci-mathematics/gmp-ecm: keyword 7.0.5-r1 for ~loongWANG Xuerui2023-04-161-2/+2
* sci-mathematics/flint: keyword 2.9.0 for ~loongWANG Xuerui2023-04-161-1/+1
* sci-mathematics/opensmt: bump to 2.5.0Maciej Barć2023-04-152-0/+72
* sci-mathematics/opensmt: require gmp with USE=cxxMaciej Barć2023-04-131-1/+1
* sci-mathematics/coq: update bug referenceMaciej Barć2023-04-121-1/+1
* sci-mathematics/coq: disable failing testMaciej Barć2023-04-111-0/+7
* sci-mathematics/coq: drop old 8.16.0Maciej Barć2023-04-112-112/+0
* sci-mathematics/coq-mathcomp: drop old 1.14.0-r2Maciej Barć2023-04-112-33/+0
* sci-mathematics/coq: add missing subslotsMaciej Barć2023-04-115-7/+7
* sci-mathematics/coq: add ounit2 to test depsMaciej Barć2023-04-111-1/+3
* sci-mathematics/coq-mathcomp: ignore CFLAGS for ML/Coq codeMaciej Barć2023-04-113-0/+9
* sci-mathematics/flocq: ignore CFLAGS for ML/Coq codeMaciej Barć2023-04-112-0/+6
* sci-mathematics/coq-serapi: bump to 0.17.0Maciej Barć2023-04-102-0/+71
* sci-mathematics/gappalib-coq: bump to 1.5.3Maciej Barć2023-04-102-0/+43
* sci-mathematics/coq: bump to 8.17.0Maciej Barć2023-04-102-0/+104
* sci-mathematics/coq-serapi: fix SRC_URIMaciej Barć2023-04-101-1/+1
* sci-mathematics/z3: Remove oldMichał Górny2023-04-083-216/+0
* sci-mathematics/z3: Stabilize 4.12.1 x86, #904033Arthur Zamarin2023-04-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.1 ppc64, #904033Arthur Zamarin2023-04-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.1 amd64, #904033Arthur Zamarin2023-04-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.1 sparc, #904033Arthur Zamarin2023-04-081-1/+1