summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/btor2tools: H -> COMMITMaciej Barć2023-03-041-4/+4
* sci-mathematics/mathematica: add 13.2.1Andrew Ammerlaan2023-03-032-0/+175
* Rename dev-python/{myst_parser → myst-parser}Michał Górny2023-03-021-1/+1
* sci-mathematics/dunshire: PEP517 and python-3.11 support.Michael Orlitzky2023-02-251-2/+2
* sci-mathematics/alectryon: enable py3.11Andrew Ammerlaan2023-02-241-1/+1
* sci-mathematics/gsl-shell: add 2.3.5Andrew Ammerlaan2023-02-244-0/+116
* sci-mathematics/libpoly: enable py3.11Andrew Ammerlaan2023-02-241-1/+1
* sci-mathematics/mathlib-tools: enable py3.11Andrew Ammerlaan2023-02-241-1/+1
* sci-mathematics/cvc4: add support to python 3.11Alfredo Tupone2023-02-221-1/+1
* sci-mathematics/stp: update PYTHON_COMPAT; add help2man to BDEPENDMaciej Barć2023-02-221-11/+17
* sci-mathematics/stp: patch - include cstdintMaciej Barć2023-02-202-0/+14
* sci-mathematics/stp: rename patchesMaciej Barć2023-02-203-2/+2
* sci-mathematics/ginac: bump to 1.8.6Andrey Grozin2023-02-173-0/+89
* sci-mathematics/coq-serapi: drop old 0.16.0-r1Maciej Barć2023-02-172-67/+0
* sci-mathematics/coq-serapi: bump to 0.16.3Maciej Barć2023-02-172-0/+70
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2023-02-163-160/+0
* sci-mathematics/wxmaxima: bump to 23.02.0Andrey Grozin2023-02-162-0/+80
* sci-mathematics/maxima: add python3_11Andrey Grozin2023-02-161-0/+228
* sci-mathematics/ginac: remove old versionsAndrey Grozin2023-02-164-161/+0
* sci-mathematics/coq-mathcomp: fix depsMaciej Barć2023-02-163-5/+14
* sci-mathematics/flocq: fix depsMaciej Barć2023-02-161-3/+6