| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/eclib: add 20231212 |   Michael Orlitzky | 2024-01-06 | 2 | -0/+50 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old |   Michał Górny | 2024-01-06 | 2 | -112/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 amd64, #921493 | Michał Górny | 2024-01-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 x86, #921493 | Michał Górny | 2024-01-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 ppc64, #921493 |   Arthur Zamarin | 2024-01-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 sparc, #921493 |   Sam James | 2024-01-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 arm64, #921493 | Sam James | 2024-01-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 arm, #921493 | Sam James | 2024-01-06 | 1 | -2/+2 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/cgal: add 5.6 |   Andrew Ammerlaan | 2024-01-03 | 2 | -0/+62 |
| | | | | | | Closes: https://bugs.gentoo.org/921180 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> | ||||
| * | sci-mathematics/why3-for-spark: require ocamlopt |   Alfredo Tupone | 2023-12-29 | 1 | -5/+6 |
| | | | | | | Closes: https://bugs.gentoo.org/913497 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: remove old version |   Andrey Grozin | 2023-12-26 | 2 | -81/+0 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: bump to 23.12.0 | Andrey Grozin | 2023-12-26 | 2 | -0/+81 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | profiles/use.desc: Make USE=cuda global | Michał Górny | 2023-12-26 | 1 | -1/+0 |
| | | | | | | | | | Add a global USE=cuda. It is used semi-consistently in 39 packages. Signed-off-by: Michał Górny <mgorny@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/34348 Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/flint: add 3.0.1 | Michael Orlitzky | 2023-12-23 | 3 | -0/+126 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2023-12-21 | 3 | -125/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | 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> | ||||
GitWeb