| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/why3-for-spark: drop 2020 |   Alfredo Tupone | 2023-04-02 | 3 | -148/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | sci-mathematics/why3-for-spark: stabilize 2021-r1 for amd64 | Alfredo Tupone | 2023-04-02 | 1 | -2/+2 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | sci-mathematics/why3-for-spark: drop 2019-r3 | Alfredo Tupone | 2023-04-02 | 4 | -170/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | sci-mathematics/why3-for-spark: stabilize 2020 for amd64 | Alfredo Tupone | 2023-04-02 | 1 | -2/+2 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | sci-mathematics/easycrypt: drop old 2022.04-r1 |   Maciej Barć | 2023-04-02 | 2 | -44/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/easycrypt: drop old 1.0_pre20220303-r1 | Maciej Barć | 2023-04-02 | 2 | -46/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/easycrypt: bump to 2022.04_p20230324 | Maciej Barć | 2023-04-02 | 2 | -0/+52 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/flocq: bump to 4.1.1 | Maciej Barć | 2023-04-02 | 2 | -0/+35 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/why3: drop old 1.5.0-r1 | Maciej Barć | 2023-04-02 | 2 | -104/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/why3: drop old 1.4.0-r3 | Maciej Barć | 2023-04-02 | 2 | -99/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/why3: bump to 1.6.0 | Maciej Barć | 2023-04-02 | 2 | -0/+107 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/why3-for-spark: require lablgtk-2 | Alfredo Tupone | 2023-03-31 | 1 | -2/+2 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | sci-mathematics/fricas: remove old |   Andrey Grozin | 2023-03-27 | 3 | -221/+0 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/fricas: fix building with sbcl-2.3.2 | Andrey Grozin | 2023-03-27 | 2 | -0/+130 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/pari: add 2.15.3, drop 2.15.2-r2 |   Michael Orlitzky | 2023-03-18 | 4 | -63/+2 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/octave: add 8.1.0 |   Sam James | 2023-03-16 | 2 | -0/+234 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/dunshire: Use pypi.eclass |   Michał Górny | 2023-03-16 | 1 | -2/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: introduce COQ_MIN_V | Maciej Barć | 2023-03-15 | 1 | -3/+4 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-mathcomp: introduce COQ_MIN_V | Maciej Barć | 2023-03-15 | 1 | -1/+3 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/abc: new package; add 0_p20230313 and live | Maciej Barć | 2023-03-13 | 5 | -0/+148 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cubicle: require ocamlopt | Maciej Barć | 2023-03-08 | 1 | -2/+2 |
| | | | | | | Closes: https://bugs.gentoo.org/895214 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cadabra: enable python 3.11 support for unstable | Maciej Barć | 2023-03-08 | 2 | -2/+2 |
| | | | | | | Bug: https://bugs.gentoo.org/897234 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/lpsolve: Keyword 5.5.2.11-r2 riscv, #881389 |   Yixun Lan | 2023-03-07 | 1 | -1/+1 |
| | | | | | Signed-off-by: Yixun Lan <dlan@gentoo.org> | ||||
| * | sci-mathematics/cvc4: fix build with bash 5.2 |   Kai-Chun Ning | 2023-03-05 | 2 | -0/+45 |
| | | | | | | | | Closes: https://bugs.gentoo.org/883273 Signed-off-by: Kai-Chun Ning <kaichun.ning@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/29933 Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/smtinterpol: H -> COMMIT | Maciej Barć | 2023-03-04 | 1 | -5/+7 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/metamath-databases: H -> COMMIT | Maciej Barć | 2023-03-04 | 1 | -7/+8 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/boolector: H -> COMMIT | Maciej Barć | 2023-03-04 | 1 | -5/+6 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/btor2tools: H -> COMMIT | Maciej Barć | 2023-03-04 | 1 | -4/+4 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/mathematica: add 13.2.1 |   Andrew Ammerlaan | 2023-03-03 | 2 | -0/+175 |
| | | | | | | Closes: https://bugs.gentoo.org/894242 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> | ||||
| * | Rename dev-python/{myst_parser → myst-parser} | Michał Górny | 2023-03-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/dunshire: PEP517 and python-3.11 support. | Michael Orlitzky | 2023-02-25 | 1 | -2/+2 |
| | | | | | | Closes: https://bugs.gentoo.org/897236 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/alectryon: enable py3.11 | Andrew Ammerlaan | 2023-02-24 | 1 | -1/+1 |
| | | | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> | ||||
| * | sci-mathematics/gsl-shell: add 2.3.5 | Andrew Ammerlaan | 2023-02-24 | 4 | -0/+116 |
| | | | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> | ||||
| * | sci-mathematics/libpoly: enable py3.11 | Andrew Ammerlaan | 2023-02-24 | 1 | -1/+1 |
| | | | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> | ||||
| * | sci-mathematics/mathlib-tools: enable py3.11 | Andrew Ammerlaan | 2023-02-24 | 1 | -1/+1 |
| | | | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> | ||||
| * | sci-mathematics/cvc4: add support to python 3.11 | Alfredo Tupone | 2023-02-22 | 1 | -1/+1 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | sci-mathematics/stp: update PYTHON_COMPAT; add help2man to BDEPEND | Maciej Barć | 2023-02-22 | 1 | -11/+17 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/stp: patch - include cstdint | Maciej Barć | 2023-02-20 | 2 | -0/+14 |
| | | | | | | Closes: https://bugs.gentoo.org/895096 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/stp: rename patches | Maciej Barć | 2023-02-20 | 3 | -2/+2 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/ginac: bump to 1.8.6 | Andrey Grozin | 2023-02-17 | 3 | -0/+89 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: drop old 0.16.0-r1 | Maciej Barć | 2023-02-17 | 2 | -67/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: bump to 0.16.3 | Maciej Barć | 2023-02-17 | 2 | -0/+70 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: remove old versions | Andrey Grozin | 2023-02-16 | 3 | -160/+0 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: bump to 23.02.0 | Andrey Grozin | 2023-02-16 | 2 | -0/+80 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/maxima: add python3_11 | Andrey Grozin | 2023-02-16 | 1 | -0/+228 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/ginac: remove old versions | Andrey Grozin | 2023-02-16 | 4 | -161/+0 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/coq-mathcomp: fix deps | Maciej Barć | 2023-02-16 | 3 | -5/+14 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/flocq: fix deps | Maciej Barć | 2023-02-16 | 1 | -3/+6 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/gappalib-coq: fix deps; add ocamlopt | Maciej Barć | 2023-02-16 | 1 | -3/+5 |
| | | | | | | Closes: https://bugs.gentoo.org/894746 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27 |   Ionen Wolkens | 2023-02-15 | 1 | -0/+2 |
| | | | | | | | | | | | | | Would be difficult to rename or make 'kitten' optional from kitty's side given it's used/referenced in several places both by kitty's code and user documentation, and not familiar with sci-mathematics/kissat to say what's reasonable to do from that end, so just block. Can be revisited if someone actually needs these to coexist. Closes: https://bugs.gentoo.org/894342 Signed-off-by: Ionen Wolkens <ionen@gentoo.org> | ||||
GitWeb