| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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> | ||||
| * | sci-mathematics/gap: fix regeneration of aclocal.m4 | Michael Orlitzky | 2024-01-22 | 1 | -0/+8 |
| | | | | | | | | | Without AC_CONFIG_MACRO_DIRS in configure.ac, running eautoconf clobbers the important m4_include directives in aclocal.m4, leading to libtool version errors in the build. A quick "sed" does the trick. Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/gap: drop USE=emacs (a no-op) | Michael Orlitzky | 2024-01-22 | 1 | -1/+1 |
| | | | | | | | | | | | | | Some day, this might pull in app-emacs/gap-mode, which does not yet exist. I tried to package it but it throws several warnings in the latest version of emacs: https://gitlab.com/gvol/gap-mode/-/issues/13 For now let's drop the flag since it doesn't do anything. Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/gap: update dev-util/valgrind -> dev-debug/valgrind | Michael Orlitzky | 2024-01-22 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/gap: PDEPEND on autoloaded packages without USE=minimal | Michael Orlitzky | 2024-01-22 | 2 | -2/+30 |
| | | | | | | | | This completes the rest of the dependency circle for GAP and the packages that it sort-of depends on. Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/gap: depend on required packages, enable tests | Michael Orlitzky | 2024-01-22 | 1 | -2/+33 |
| | | | | | | | | | Now that the four "required" GAP packages are in the tree, GAP itself should depend upon them. Afterwards, its test suite is usable (modulo circular dependency issues). Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/gap: new package, add 4.12.2 | Michael Orlitzky | 2024-01-22 | 3 | -0/+114 |
| | | | | | | | | | This is not really functional for the moment, because GAP has several required packages that cannot be added until GAP itself is in the tree due to circular dependencies. Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/nauty: Stabilize 2.8.8 amd64, #922648 | Sam James | 2024-01-22 | 1 | -2/+2 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/singular: Stabilize 4.3.2_p10 amd64, #922647 | Sam James | 2024-01-22 | 1 | -2/+2 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.5 | Michał Górny | 2024-01-22 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/cvc4: PythonCompatUpdate |   Alfredo Tupone | 2024-01-19 | 1 | -2/+2 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | sci-mathematics/lean: Stabilize 4.2.0 amd64, #922367 | Sam James | 2024-01-18 | 1 | -2/+2 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/coq: Stabilize 8.18.0 amd64, #915951 | Matoro Mahri | 2024-01-16 | 1 | -2/+2 |
| | | | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Viorel Munteanu <ceamac@gentoo.org> | ||||
| * | sci-mathematics/eprover: bump to 3.0.03 | Maciej Barć | 2024-01-15 | 2 | -0/+77 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/gappa: bump to 1.4.2 | Maciej Barć | 2024-01-15 | 2 | -0/+44 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/lean: drop old 4.2.0_rc4 | Maciej Barć | 2024-01-15 | 2 | -79/+0 |
| | | | | | | Closes: https://bugs.gentoo.org/916306 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-mathcomp: bump to 1.19.0 | Maciej Barć | 2024-01-15 | 2 | -0/+26 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-mathcomp: drop old 1.16.0-r1 | Maciej Barć | 2024-01-15 | 2 | -26/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: drop old 0.17.0 | Maciej Barć | 2024-01-15 | 2 | -71/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
GitWeb