| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/pari: add 2.15.3, drop 2.15.2-r2 | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2023-03-18 | 4 | -63/+2 |
* | sci-mathematics/octave: add 8.1.0 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-03-16 | 2 | -0/+234 |
* | sci-mathematics/dunshire: Use pypi.eclass | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-03-16 | 1 | -2/+1 |
* | sci-mathematics/coq-serapi: introduce COQ_MIN_V | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-03-15 | 1 | -3/+4 |
* | sci-mathematics/coq-mathcomp: introduce COQ_MIN_V | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-03-15 | 1 | -1/+3 |
* | sci-mathematics/abc: new package; add 0_p20230313 and live | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-03-13 | 5 | -0/+148 |
* | sci-mathematics/cubicle: require ocamlopt | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-03-08 | 1 | -2/+2 |
* | sci-mathematics/cadabra: enable python 3.11 support for unstable | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-03-08 | 2 | -2/+2 |
* | sci-mathematics/lpsolve: Keyword 5.5.2.11-r2 riscv, #881389 | ![](//www.gravatar.com/avatar/4b6e5d33e05b82cd857eb2160e911d58?s=13&d=retro) Yixun Lan | 2023-03-07 | 1 | -1/+1 |
* | sci-mathematics/cvc4: fix build with bash 5.2 | ![](//www.gravatar.com/avatar/0a351bb55568e34d636b135001b1ca7b?s=13&d=retro) Kai-Chun Ning | 2023-03-05 | 2 | -0/+45 |
* | sci-mathematics/smtinterpol: H -> COMMIT | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-03-04 | 1 | -5/+7 |
* | sci-mathematics/metamath-databases: H -> COMMIT | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-03-04 | 1 | -7/+8 |
* | sci-mathematics/boolector: H -> COMMIT | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-03-04 | 1 | -5/+6 |
* | sci-mathematics/btor2tools: H -> COMMIT | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-03-04 | 1 | -4/+4 |
* | sci-mathematics/mathematica: add 13.2.1 | ![](//www.gravatar.com/avatar/1211c489de44db2f60c5b44af2648e71?s=13&d=retro) Andrew Ammerlaan | 2023-03-03 | 2 | -0/+175 |
* | Rename dev-python/{myst_parser → myst-parser} | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-03-02 | 1 | -1/+1 |
* | sci-mathematics/dunshire: PEP517 and python-3.11 support. | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2023-02-25 | 1 | -2/+2 |
* | sci-mathematics/alectryon: enable py3.11 | ![](//www.gravatar.com/avatar/1211c489de44db2f60c5b44af2648e71?s=13&d=retro) Andrew Ammerlaan | 2023-02-24 | 1 | -1/+1 |
* | sci-mathematics/gsl-shell: add 2.3.5 | ![](//www.gravatar.com/avatar/1211c489de44db2f60c5b44af2648e71?s=13&d=retro) Andrew Ammerlaan | 2023-02-24 | 4 | -0/+116 |
* | sci-mathematics/libpoly: enable py3.11 | ![](//www.gravatar.com/avatar/1211c489de44db2f60c5b44af2648e71?s=13&d=retro) Andrew Ammerlaan | 2023-02-24 | 1 | -1/+1 |
* | sci-mathematics/mathlib-tools: enable py3.11 | ![](//www.gravatar.com/avatar/1211c489de44db2f60c5b44af2648e71?s=13&d=retro) Andrew Ammerlaan | 2023-02-24 | 1 | -1/+1 |
* | sci-mathematics/cvc4: add support to python 3.11 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-02-22 | 1 | -1/+1 |
* | sci-mathematics/stp: update PYTHON_COMPAT; add help2man to BDEPEND | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-22 | 1 | -11/+17 |
* | sci-mathematics/stp: patch - include cstdint | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-20 | 2 | -0/+14 |
* | sci-mathematics/stp: rename patches | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-20 | 3 | -2/+2 |
* | sci-mathematics/ginac: bump to 1.8.6 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2023-02-17 | 3 | -0/+89 |
* | sci-mathematics/coq-serapi: drop old 0.16.0-r1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-17 | 2 | -67/+0 |
* | sci-mathematics/coq-serapi: bump to 0.16.3 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-17 | 2 | -0/+70 |
* | sci-mathematics/wxmaxima: remove old versions | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2023-02-16 | 3 | -160/+0 |
* | sci-mathematics/wxmaxima: bump to 23.02.0 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2023-02-16 | 2 | -0/+80 |
* | sci-mathematics/maxima: add python3_11 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2023-02-16 | 1 | -0/+228 |
* | sci-mathematics/ginac: remove old versions | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2023-02-16 | 4 | -161/+0 |
* | sci-mathematics/coq-mathcomp: fix deps | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-16 | 3 | -5/+14 |
* | sci-mathematics/flocq: fix deps | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-16 | 1 | -3/+6 |
* | sci-mathematics/gappalib-coq: fix deps; add ocamlopt | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-16 | 1 | -3/+5 |
* | sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27 | ![](//www.gravatar.com/avatar/eaa3cff502cdba37e308fedbfc3c3286?s=13&d=retro) Ionen Wolkens | 2023-02-15 | 1 | -0/+2 |
* | Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme} | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-02-14 | 4 | -4/+4 |
* | Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme} | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-02-14 | 4 | -4/+4 |
* | sci-mathematics/eclib: drop 20220621 | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2023-02-09 | 2 | -36/+0 |
* | sci-mathematics/eclib: Stabilize 20221012 amd64, #893528 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-02-07 | 1 | -1/+1 |
* | sci-mathematics/eclib: Stabilize 20221012 x86, #893528 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-02-07 | 1 | -2/+2 |
* | sci-mathematics/primecount: drop 7.4 | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2023-02-07 | 2 | -55/+0 |
* | sci-mathematics/primecount: stabilize 7.6 for amd64 | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2023-02-07 | 1 | -2/+2 |
* | sci-mathematics/primesieve: drop 8.0 | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2023-02-07 | 2 | -51/+0 |
* | sci-mathematics/primesieve: stabilize 11.0 for amd64 | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2023-02-07 | 1 | -2/+2 |
* | sci-mathematics/octave: drop 6.4.0-r5 | ![](//www.gravatar.com/avatar/14613e7fdf5b7bdc0425cd471de146f4?s=13&d=retro) Andreas Sturmlechner | 2023-02-07 | 2 | -219/+0 |
* | sci-mathematics/bertini: bump to 1.6 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-06 | 2 | -0/+67 |
* | sci-mathematics/opensmt: fix build on musl | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-06 | 2 | -0/+134 |
* | sci-mathematics/opensmt: drop old 2.4.3 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-06 | 1 | -70/+0 |
* | sci-mathematics/minisat: fix build on musl | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-02-06 | 2 | -4/+50 |