| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/cadabra: drop old 2.4.2.1-r1 |   Maciej Barć | 2023-04-20 | 2 | -105/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/maxima: Stabilize 5.46.0-r1 amd64, #904613 |   Sam James | 2023-04-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/ginac: Stabilize 1.8.6 x86, #904576 | Sam James | 2023-04-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/ginac: Stabilize 1.8.6 amd64, #904576 | Sam James | 2023-04-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/lean: fix build with GCC 13 | Maciej Barć | 2023-04-18 | 3 | -9/+25 |
| | | | | | | Closes: https://bugs.gentoo.org/895202 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/lean: drop old 3.50.2 | Maciej Barć | 2023-04-18 | 2 | -78/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/lean: drop old 3.50.1 | Maciej Barć | 2023-04-18 | 2 | -78/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: fix build with GCC 13 | Maciej Barć | 2023-04-18 | 2 | -0/+13 |
| | | | | | | Closes: https://bugs.gentoo.org/895116 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: drop old 5.8.0 | Maciej Barć | 2023-04-18 | 3 | -67/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/4ti2: fix build w/ gcc 13 | Sam James | 2023-04-18 | 2 | -2/+26 |
| | | | | | | Closes: https://bugs.gentoo.org/895420 Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/4ti2: add github upstream metadata | Sam James | 2023-04-18 | 1 | -0/+3 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/arb: keyword 2.23.0 for ~loong |   WANG Xuerui | 2023-04-16 | 1 | -2/+2 |
| | | | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org> | ||||
| * | sci-mathematics/gmp-ecm: keyword 7.0.5-r1 for ~loong | WANG Xuerui | 2023-04-16 | 1 | -2/+2 |
| | | | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org> | ||||
| * | sci-mathematics/flint: keyword 2.9.0 for ~loong | WANG Xuerui | 2023-04-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org> | ||||
| * | sci-mathematics/opensmt: bump to 2.5.0 | Maciej Barć | 2023-04-15 | 2 | -0/+72 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/opensmt: require gmp with USE=cxx | Maciej Barć | 2023-04-13 | 1 | -1/+1 |
| | | | | | | Closes: https://bugs.gentoo.org/904272 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | 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> | ||||
GitWeb