| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/cgal: Keyword 5.5.2 ppc64, #886101 |   Arthur Zamarin | 2023-12-03 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old |   Michał Górny | 2023-12-02 | 2 | -108/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.2 ppc64, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.2 x86, #919030 | Michał Górny | 2023-12-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.2 amd64, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.2 sparc, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.2 arm, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.2 arm64, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/lean: bump to 4.2.0 |   Maciej Barć | 2023-11-30 | 2 | -0/+79 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/singular: update LICENSE |   Michael Orlitzky | 2023-11-27 | 1 | -1/+4 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/arb: Stabilize 2.23.0 arm64, #918176 |   Sam James | 2023-11-25 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/flint: Stabilize 2.9.0 arm64, #918175 | Arthur Zamarin | 2023-11-24 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 arm64, #918178 | Arthur Zamarin | 2023-11-24 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: stabilize 23.07.0 for amd64 |   Pacho Ramos | 2023-11-24 | 1 | -1/+1 |
| | | | | | Signed-off-by: Pacho Ramos <pacho@gentoo.org> | ||||
| * | sci-mathematics/maxima: update LICENSE | Michael Orlitzky | 2023-11-22 | 1 | -1/+6 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/giac: update LICENSE | Michael Orlitzky | 2023-11-22 | 1 | -1/+5 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/cliquer: update LICENSE | Michael Orlitzky | 2023-11-22 | 1 | -1/+2 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/eclib: update LICENSE | Michael Orlitzky | 2023-11-22 | 1 | -1/+3 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/pari: update LICENSE | Michael Orlitzky | 2023-11-22 | 1 | -1/+2 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/dunshire: update HOMEPAGE (http -> https) | Michael Orlitzky | 2023-11-14 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/polymake: re-enable the test suite | Michael Orlitzky | 2023-11-13 | 2 | -6/+27 |
| | | | | | | | | | After adding another patch, the test suite once again passes for me (it hasn't for a few versions, but it did a long time ago). Let's enable it and get some feedback. Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/polymake: new old package, add 4.11 | Michael Orlitzky | 2023-11-13 | 4 | -0/+232 |
| | | | | | | | | | | | | | | | | This is back from the dead after being removed for lack of perl-5.38 support. Only a month ago, upstream's opinion was that "any hacks we would try here will be in vain," but it looks like they've decided to adopt a short-term fix for perl-5.38. We bring it back, and make use of $NINJA_DEPEND while we're at it (samurai works fine). The new patch (and a short explanation from upstream) can be found on Debian bug 1042521. Bug: https://bugs.gentoo.org/909570 Closes: https://bugs.gentoo.org/917155 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/ginac: revbump for fig2dev change | Sam James | 2023-11-13 | 1 | -0/+0 |
| | | | | | | Fixes: fe9f2c1a0ecda7000034fb75c3e5d8edb4e678f1 Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/ginac: use transfig from fig2dev | Pacho Ramos | 2023-11-12 | 1 | -1/+1 |
| | | | | | Signed-off-by: Pacho Ramos <pacho@gentoo.org> | ||||
| * | sci-mathematics/octave: Use transfig from fig2dev | Pacho Ramos | 2023-11-12 | 1 | -0/+241 |
| | | | | | Signed-off-by: Pacho Ramos <pacho@gentoo.org> | ||||
| * | sci-mathematics/mathematica: add option to install from non-bundle file |   Andreas K. Hüttel | 2023-11-10 | 3 | -2/+7 |
| | | | | | Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org> | ||||
| * | sci-mathematics/opensmt: fix build with gcc 14 |   Kostadin Shishmanov | 2023-11-07 | 2 | -1/+71 |
| | | | | | | | | Closes: https://bugs.gentoo.org/916855 Signed-off-by: Kostadin Shishmanov <kocelfc@tutanota.com> Closes: https://github.com/gentoo/gentoo/pull/33708 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/z3: add 4.12.2 |   Andrew Ammerlaan | 2023-11-06 | 3 | -0/+125 |
| | | | | | | Closes: https://bugs.gentoo.org/916710 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> | ||||
| * | sci-mathematics/boolector: bump to 3.2.3 | Maciej Barć | 2023-11-02 | 3 | -0/+95 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/btor2tools: patch includes | Maciej Barć | 2023-11-02 | 2 | -6/+21 |
| | | | | | | | Closes: https://bugs.gentoo.org/908486 Closes: https://bugs.gentoo.org/895224 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/proverif: require ocamlopt | Maciej Barć | 2023-11-02 | 2 | -6/+12 |
| | | | | | | Closes: https://bugs.gentoo.org/916717 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/pari: drop 2.15.3 | Michael Orlitzky | 2023-10-31 | 3 | -143/+0 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/giac: add 1.9.0.67, drop 1.9.0.55-r1 | Michael Orlitzky | 2023-10-31 | 4 | -18/+48 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/pari: Stabilize 2.15.4-r1 ppc64, #916560 | Sam James | 2023-10-31 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/pari: Stabilize 2.15.4-r1 amd64, #916560 | Sam James | 2023-10-31 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/lean: bump to 4.2.0_rc4 | Maciej Barć | 2023-10-26 | 2 | -0/+79 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/lean: drop old 3.9999 | Maciej Barć | 2023-10-26 | 1 | -80/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-mathcomp: bump to 1.17.0 | Maciej Barć | 2023-10-24 | 2 | -0/+26 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: bump to 0.18.1 | Maciej Barć | 2023-10-23 | 2 | -0/+73 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: bump to 5.11.15 | Maciej Barć | 2023-10-22 | 2 | -0/+40 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: drop old 5.11.12 | Maciej Barć | 2023-10-22 | 2 | -38/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: drop old 5.11.11 | Maciej Barć | 2023-10-22 | 2 | -38/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/fricas: remove old revisions |   Andrey Grozin | 2023-10-19 | 2 | -224/+0 |
| | | | | | | Bug: https://bugs.gentoo.org/915647 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/fricas: fix building with clozurecl | Andrey Grozin | 2023-10-19 | 2 | -12/+95 |
| | | | | | | Bug: https://bugs.gentoo.org/915647 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/cadabra: Stabilize 2.4.4.1 amd64, #915950 | Sam James | 2023-10-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/fricas: now compiles with sbcl-2.3.9 | Andrey Grozin | 2023-10-15 | 2 | -0/+174 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: bump to 23.10.0 | Andrey Grozin | 2023-10-12 | 2 | -0/+81 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/fricas: remove old versions | Andrey Grozin | 2023-10-12 | 4 | -242/+0 |
| | | | | | | Bug: https://bugs.gentoo.org/915586 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/fricas: cannot be compiled with sbcl-2.3.9 | Andrey Grozin | 2023-10-12 | 1 | -0/+111 |
| | | | | | | Closes: https://bugs.gentoo.org/915586 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/kissat: drop old 3.0.0 | Maciej Barć | 2023-10-11 | 2 | -40/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
GitWeb