| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/z3: Stabilize 4.12.3 x86, #920427 |   Arthur Zamarin | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.3 arm64, #920427 |   Sam James | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.3 arm, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.3 amd64, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.3 sparc, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.3 ppc64, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/octave: Stabilize 8.3.0-r1 arm64, #917280 | Arthur Zamarin | 2023-12-17 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/octave: Stabilize 8.3.0-r1 arm, #917280 | Arthur Zamarin | 2023-12-17 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/cgal: Stabilize 5.5.2 amd64, #920128 | Arthur Zamarin | 2023-12-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/normaliz: Stabilize 3.10.1 amd64, #920149 | Arthur Zamarin | 2023-12-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/plfit: Stabilize 0.9.3 amd64, #920125 | Arthur Zamarin | 2023-12-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/plfit: Stabilize 0.9.3 x86, #920125 | Arthur Zamarin | 2023-12-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/octave: Stabilize 8.3.0-r1 amd64, #917280 |   Joonas Niilola | 2023-12-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | sci-mathematics/ginac: Stabilize 1.8.7-r1 amd64, #917280 | Joonas Niilola | 2023-12-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | sci-mathematics/nauty: add 2.8.8 |   Michael Orlitzky | 2023-12-15 | 2 | -0/+81 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: remove old versions |   Andrey Grozin | 2023-12-15 | 3 | -161/+0 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: bump to 23.11.0 | Andrey Grozin | 2023-12-15 | 2 | -0/+81 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/proverif: bump to 2.05 |   Maciej Barć | 2023-12-10 | 1 | -1/+1 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/proverif: bump to 2.05 | Maciej Barć | 2023-12-10 | 2 | -0/+67 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.4 |   Michał Górny | 2023-12-07 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/singular: drop USE=static-libs | Michael Orlitzky | 2023-12-06 | 1 | -5/+3 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/singular: add 4.3.2_p10 |   François Bissey | 2023-12-06 | 2 | -0/+109 |
| | | | | | | | | Closes: https://bugs.gentoo.org/919355 Closes: https://github.com/gentoo/gentoo/pull/34158 Signed-off-by: François Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.3 | Michał Górny | 2023-12-05 | 2 | -0/+112 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | 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> | ||||
GitWeb