| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/coq: update bug reference |   Maciej Barć | 2023-04-12 | 1 | -1/+1 |
| | | | | | | Closes: https://bugs.gentoo.org/904186 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: disable failing test | Maciej Barć | 2023-04-11 | 1 | -0/+7 |
| | | | | | | Closes: https://bugs.gentoo.org/859877 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: drop old 8.16.0 | Maciej Barć | 2023-04-11 | 2 | -112/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-mathcomp: drop old 1.14.0-r2 | Maciej Barć | 2023-04-11 | 2 | -33/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: add missing subslots | Maciej Barć | 2023-04-11 | 5 | -7/+7 |
| | | | | | | Closes: https://bugs.gentoo.org/904150 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: add ounit2 to test deps | Maciej Barć | 2023-04-11 | 1 | -1/+3 |
| | | | | | | Closes: https://bugs.gentoo.org/904152 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-mathcomp: ignore CFLAGS for ML/Coq code | Maciej Barć | 2023-04-11 | 3 | -0/+9 |
| | | | | | | Closes: https://bugs.gentoo.org/904155 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/flocq: ignore CFLAGS for ML/Coq code | Maciej Barć | 2023-04-11 | 2 | -0/+6 |
| | | | | | | Closes: https://bugs.gentoo.org/904156 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: bump to 0.17.0 | Maciej Barć | 2023-04-10 | 2 | -0/+71 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/gappalib-coq: bump to 1.5.3 | Maciej Barć | 2023-04-10 | 2 | -0/+43 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: bump to 8.17.0 | Maciej Barć | 2023-04-10 | 2 | -0/+104 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: fix SRC_URI | Maciej Barć | 2023-04-10 | 1 | -1/+1 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old |   Michał Górny | 2023-04-08 | 3 | -216/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 x86, #904033 |   Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 ppc64, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 amd64, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 sparc, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 arm, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 arm64, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/why3-for-spark: fix NOTPARALLEL |   Alfredo Tupone | 2023-04-03 | 1 | -1/+1 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | sci-mathematics/why3-for-spark: disable shuffle | Alfredo Tupone | 2023-04-02 | 2 | -0/+12 |
| | | | | | | Closes: https://bugs.gentoo.org/883167 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | 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> | ||||
GitWeb