summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/z3: Stabilize 4.12.1 arm, #904033Arthur Zamarin2023-04-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.1 arm64, #904033Arthur Zamarin2023-04-081-1/+1
* sci-mathematics/why3-for-spark: fix NOTPARALLELAlfredo Tupone2023-04-031-1/+1
* sci-mathematics/why3-for-spark: disable shuffleAlfredo Tupone2023-04-022-0/+12
* sci-mathematics/why3-for-spark: drop 2020Alfredo Tupone2023-04-023-148/+0
* sci-mathematics/why3-for-spark: stabilize 2021-r1 for amd64Alfredo Tupone2023-04-021-2/+2
* sci-mathematics/why3-for-spark: drop 2019-r3Alfredo Tupone2023-04-024-170/+0
* sci-mathematics/why3-for-spark: stabilize 2020 for amd64Alfredo Tupone2023-04-021-2/+2
* sci-mathematics/easycrypt: drop old 2022.04-r1Maciej Barć2023-04-022-44/+0
* sci-mathematics/easycrypt: drop old 1.0_pre20220303-r1Maciej Barć2023-04-022-46/+0
* sci-mathematics/easycrypt: bump to 2022.04_p20230324Maciej Barć2023-04-022-0/+52
* sci-mathematics/flocq: bump to 4.1.1Maciej Barć2023-04-022-0/+35
* sci-mathematics/why3: drop old 1.5.0-r1Maciej Barć2023-04-022-104/+0
* sci-mathematics/why3: drop old 1.4.0-r3Maciej Barć2023-04-022-99/+0
* sci-mathematics/why3: bump to 1.6.0Maciej Barć2023-04-022-0/+107
* sci-mathematics/why3-for-spark: require lablgtk-2Alfredo Tupone2023-03-311-2/+2
* sci-mathematics/fricas: remove oldAndrey Grozin2023-03-273-221/+0
* sci-mathematics/fricas: fix building with sbcl-2.3.2Andrey Grozin2023-03-272-0/+130
* sci-mathematics/pari: add 2.15.3, drop 2.15.2-r2Michael Orlitzky2023-03-184-63/+2
* sci-mathematics/octave: add 8.1.0Sam James2023-03-162-0/+234
* sci-mathematics/dunshire: Use pypi.eclassMichał Górny2023-03-161-2/+1
* sci-mathematics/coq-serapi: introduce COQ_MIN_VMaciej Barć2023-03-151-3/+4
* sci-mathematics/coq-mathcomp: introduce COQ_MIN_VMaciej Barć2023-03-151-1/+3
* sci-mathematics/abc: new package; add 0_p20230313 and liveMaciej Barć2023-03-135-0/+148
* sci-mathematics/cubicle: require ocamloptMaciej Barć2023-03-081-2/+2
* sci-mathematics/cadabra: enable python 3.11 support for unstableMaciej Barć2023-03-082-2/+2
* sci-mathematics/lpsolve: Keyword 5.5.2.11-r2 riscv, #881389Yixun Lan2023-03-071-1/+1
* sci-mathematics/cvc4: fix build with bash 5.2Kai-Chun Ning2023-03-052-0/+45
* sci-mathematics/smtinterpol: H -> COMMITMaciej Barć2023-03-041-5/+7
* sci-mathematics/metamath-databases: H -> COMMITMaciej Barć2023-03-041-7/+8
* sci-mathematics/boolector: H -> COMMITMaciej Barć2023-03-041-5/+6