| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/why3-for-spark: stabilize 2020 for amd64 |  Alfredo Tupone | 2023-04-02 | 1 | -2/+2 |
* | sci-mathematics/easycrypt: drop old 2022.04-r1 |  Maciej Barć | 2023-04-02 | 2 | -44/+0 |
* | sci-mathematics/easycrypt: drop old 1.0_pre20220303-r1 |  Maciej Barć | 2023-04-02 | 2 | -46/+0 |
* | sci-mathematics/easycrypt: bump to 2022.04_p20230324 |  Maciej Barć | 2023-04-02 | 2 | -0/+52 |
* | sci-mathematics/flocq: bump to 4.1.1 |  Maciej Barć | 2023-04-02 | 2 | -0/+35 |
* | sci-mathematics/why3: drop old 1.5.0-r1 |  Maciej Barć | 2023-04-02 | 2 | -104/+0 |
* | sci-mathematics/why3: drop old 1.4.0-r3 |  Maciej Barć | 2023-04-02 | 2 | -99/+0 |
* | sci-mathematics/why3: bump to 1.6.0 |  Maciej Barć | 2023-04-02 | 2 | -0/+107 |
* | sci-mathematics/why3-for-spark: require lablgtk-2 |  Alfredo Tupone | 2023-03-31 | 1 | -2/+2 |
* | sci-mathematics/fricas: remove old |  Andrey Grozin | 2023-03-27 | 3 | -221/+0 |
* | sci-mathematics/fricas: fix building with sbcl-2.3.2 |  Andrey Grozin | 2023-03-27 | 2 | -0/+130 |
* | sci-mathematics/pari: add 2.15.3, drop 2.15.2-r2 |  Michael Orlitzky | 2023-03-18 | 4 | -63/+2 |
* | sci-mathematics/octave: add 8.1.0 |  Sam James | 2023-03-16 | 2 | -0/+234 |
* | sci-mathematics/dunshire: Use pypi.eclass |  Michał Górny | 2023-03-16 | 1 | -2/+1 |
* | sci-mathematics/coq-serapi: introduce COQ_MIN_V |  Maciej Barć | 2023-03-15 | 1 | -3/+4 |
* | sci-mathematics/coq-mathcomp: introduce COQ_MIN_V |  Maciej Barć | 2023-03-15 | 1 | -1/+3 |
* | sci-mathematics/abc: new package; add 0_p20230313 and live |  Maciej Barć | 2023-03-13 | 5 | -0/+148 |
* | sci-mathematics/cubicle: require ocamlopt |  Maciej Barć | 2023-03-08 | 1 | -2/+2 |
* | sci-mathematics/cadabra: enable python 3.11 support for unstable |  Maciej Barć | 2023-03-08 | 2 | -2/+2 |
* | sci-mathematics/lpsolve: Keyword 5.5.2.11-r2 riscv, #881389 |  Yixun Lan | 2023-03-07 | 1 | -1/+1 |
* | sci-mathematics/cvc4: fix build with bash 5.2 |  Kai-Chun Ning | 2023-03-05 | 2 | -0/+45 |
* | sci-mathematics/smtinterpol: H -> COMMIT |  Maciej Barć | 2023-03-04 | 1 | -5/+7 |
* | sci-mathematics/metamath-databases: H -> COMMIT |  Maciej Barć | 2023-03-04 | 1 | -7/+8 |
* | sci-mathematics/boolector: H -> COMMIT |  Maciej Barć | 2023-03-04 | 1 | -5/+6 |
* | sci-mathematics/btor2tools: H -> COMMIT |  Maciej Barć | 2023-03-04 | 1 | -4/+4 |
* | sci-mathematics/mathematica: add 13.2.1 |  Andrew Ammerlaan | 2023-03-03 | 2 | -0/+175 |
* | Rename dev-python/{myst_parser → myst-parser} |  Michał Górny | 2023-03-02 | 1 | -1/+1 |
* | sci-mathematics/dunshire: PEP517 and python-3.11 support. |  Michael Orlitzky | 2023-02-25 | 1 | -2/+2 |
* | sci-mathematics/alectryon: enable py3.11 |  Andrew Ammerlaan | 2023-02-24 | 1 | -1/+1 |
* | sci-mathematics/gsl-shell: add 2.3.5 |  Andrew Ammerlaan | 2023-02-24 | 4 | -0/+116 |
* | sci-mathematics/libpoly: enable py3.11 |  Andrew Ammerlaan | 2023-02-24 | 1 | -1/+1 |
* | sci-mathematics/mathlib-tools: enable py3.11 |  Andrew Ammerlaan | 2023-02-24 | 1 | -1/+1 |
* | sci-mathematics/cvc4: add support to python 3.11 |  Alfredo Tupone | 2023-02-22 | 1 | -1/+1 |
* | sci-mathematics/stp: update PYTHON_COMPAT; add help2man to BDEPEND |  Maciej Barć | 2023-02-22 | 1 | -11/+17 |
* | sci-mathematics/stp: patch - include cstdint |  Maciej Barć | 2023-02-20 | 2 | -0/+14 |
* | sci-mathematics/stp: rename patches |  Maciej Barć | 2023-02-20 | 3 | -2/+2 |
* | sci-mathematics/ginac: bump to 1.8.6 |  Andrey Grozin | 2023-02-17 | 3 | -0/+89 |
* | sci-mathematics/coq-serapi: drop old 0.16.0-r1 |  Maciej Barć | 2023-02-17 | 2 | -67/+0 |
* | sci-mathematics/coq-serapi: bump to 0.16.3 |  Maciej Barć | 2023-02-17 | 2 | -0/+70 |
* | sci-mathematics/wxmaxima: remove old versions |  Andrey Grozin | 2023-02-16 | 3 | -160/+0 |
* | sci-mathematics/wxmaxima: bump to 23.02.0 |  Andrey Grozin | 2023-02-16 | 2 | -0/+80 |
* | sci-mathematics/maxima: add python3_11 |  Andrey Grozin | 2023-02-16 | 1 | -0/+228 |
* | sci-mathematics/ginac: remove old versions |  Andrey Grozin | 2023-02-16 | 4 | -161/+0 |
* | sci-mathematics/coq-mathcomp: fix deps |  Maciej Barć | 2023-02-16 | 3 | -5/+14 |
* | sci-mathematics/flocq: fix deps |  Maciej Barć | 2023-02-16 | 1 | -3/+6 |
* | sci-mathematics/gappalib-coq: fix deps; add ocamlopt |  Maciej Barć | 2023-02-16 | 1 | -3/+5 |
* | sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27 |  Ionen Wolkens | 2023-02-15 | 1 | -0/+2 |
* | Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme} |  Michał Górny | 2023-02-14 | 4 | -4/+4 |
* | Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme} |  Michał Górny | 2023-02-14 | 4 | -4/+4 |
* | sci-mathematics/eclib: drop 20220621 |  Michael Orlitzky | 2023-02-09 | 2 | -36/+0 |