| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/glpk: mark as LTO-unsafe, strict-aliasing unsafe |   Eli Schwartz | 2024-03-05 | 2 | -1/+19 |
| | | | | | | | | | It has been reported upstream but no response. Closes: https://bugs.gentoo.org/863047 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/cadical: bump to 1.9.5 |   Maciej Barć | 2024-03-04 | 2 | -0/+48 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cadical: drop old 1.8.0 | Maciej Barć | 2024-03-04 | 2 | -40/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: bump to 8.19.1 | Maciej Barć | 2024-03-04 | 2 | -0/+123 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-mathcomp: drop old 1.17.0 | Maciej Barć | 2024-03-04 | 2 | -26/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: drop old 0.18.1 | Maciej Barć | 2024-03-04 | 3 | -85/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: drop old 8.18.0 | Maciej Barć | 2024-03-04 | 2 | -113/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: drop old 8.17.1 | Maciej Barć | 2024-03-04 | 2 | -113/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/giac: drop unused patch |   Michael Orlitzky | 2024-03-04 | 1 | -30/+0 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/giac: add 1.9.0.93, drop 1.9.0.67 | Michael Orlitzky | 2024-03-04 | 4 | -5/+95 |
| | | | | | | | | | This fixes the build with USE="-gui" thanks to a patch by François Bissey. Closes: https://bugs.gentoo.org/916718 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/z3: mark as LTO-unsafe, strict-aliasing unsafe | Eli Schwartz | 2024-03-04 | 2 | -2/+26 |
| | | | | | | | | | | The strict-aliasing violation happens only in a test program. However, that does mean we cannot test that z3 works when built with LTO... Closes: https://bugs.gentoo.org/879327 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/cadabra: Stabilize 2.4.5.4 amd64, #925656 |   Sam James | 2024-02-28 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/coq: Stabilize 8.19.0 amd64, #925657 | Sam James | 2024-02-27 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.6 |   Michał Górny | 2024-02-26 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/gap: add 4.13.0_alpha2, drop 4.13.0_alpha1 | Michael Orlitzky | 2024-02-20 | 2 | -1/+1 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/cgal: drop 5.5, 5.5.2 |   Andreas Sturmlechner | 2024-02-20 | 3 | -124/+0 |
| | | | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org> | ||||
| * | sci-mathematics/eprover: fix build on musl | Maciej Barć | 2024-02-19 | 2 | -0/+13 |
| | | | | | | Closes: https://bugs.gentoo.org/889682 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/opensmt: fix libdir on glibc only | Maciej Barć | 2024-02-19 | 1 | -3/+5 |
| | | | | | | Closes: https://bugs.gentoo.org/924977 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: bump to 5.11.21 | Maciej Barć | 2024-02-14 | 2 | -0/+41 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: drop old 5.11.14 | Maciej Barć | 2024-02-14 | 2 | -40/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/prover9: fix tests; bump to EAPI 8 | Maciej Barć | 2024-02-14 | 1 | -25/+23 |
| | | | | | | Closes: https://bugs.gentoo.org/725594 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: remove old version |   Andrey Grozin | 2024-02-14 | 2 | -79/+0 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: bump to 24.02.1 | Andrey Grozin | 2024-02-14 | 2 | -0/+79 |
| | | | | | | Closes: https://bugs.gentoo.org/924160 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | */*: Reassign gienah's packages | Michał Górny | 2024-02-14 | 4 | -15/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/polymake: Stabilize 4.11 amd64, #922874 |   Matoro Mahri | 2024-02-10 | 1 | -2/+2 |
| | | | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: bump to 24.02.0 | Andrey Grozin | 2024-02-09 | 2 | -0/+79 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2024-02-09 | 2 | -108/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 amd64, #924099 | Sam James | 2024-02-09 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/eclib: drop 20230424 | Michael Orlitzky | 2024-02-08 | 2 | -48/+0 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/eclib: stabilize 20231212 for amd64 | Michael Orlitzky | 2024-02-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 arm, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 arm64, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 ppc64, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 x86, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 sparc, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/cadical: bump to 1.9.4 | Maciej Barć | 2024-02-08 | 2 | -0/+48 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cadical: drop old 1.5.3-r1 | Maciej Barć | 2024-02-08 | 2 | -38/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/gap: add 4.13.0_alpha1 masked for testing | Michael Orlitzky | 2024-02-07 | 2 | -0/+138 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/gap: respect CC and CXX in the "gac" compiler | Michael Orlitzky | 2024-02-05 | 2 | -0/+44 |
| | | | | | | Closes: https://bugs.gentoo.org/922835 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: bump to 0.19.0 | Maciej Barć | 2024-02-05 | 3 | -0/+88 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/easycrypt: bump to 2024.01 | Maciej Barć | 2024-02-03 | 2 | -0/+50 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/easycrypt: drop old 2022.04_p20230324 | Maciej Barć | 2024-02-03 | 2 | -52/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/lpsolve: Stabilize 5.5.2.11-r2 ppc64, #921319 |   Arthur Zamarin | 2024-02-02 | 1 | -2/+2 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/cgal: Stabilize 5.6 amd64, #923366 | Sam James | 2024-01-31 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/cadabra: bump to 2.4.5.4 | Maciej Barć | 2024-01-25 | 2 | -0/+112 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cadabra: drop old 2.4.3.2-r1 | Maciej Barć | 2024-01-25 | 2 | -105/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: bump to 8.19.0 | Maciej Barć | 2024-01-25 | 2 | -0/+123 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/singular: drop 4.3.2_p1 | Michael Orlitzky | 2024-01-22 | 2 | -109/+0 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/nauty: drop 2.8.6-r1 | Michael Orlitzky | 2024-01-22 | 3 | -218/+0 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/gap: use a bash array for econf args | Michael Orlitzky | 2024-01-22 | 1 | -8/+10 |
| | | | | | | Suggested-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
GitWeb