| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/maxima: use new versions of gcl |   Andrey Grozin | 2023-07-22 | 1 | -1/+1 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/coq: remove dead code |   Maciej Barć | 2023-07-17 | 2 | -18/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/eclib: drop 20221012 |   Michael Orlitzky | 2023-07-16 | 2 | -41/+0 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/eclib: Stabilize 20230424 amd64, #910411 |   Sam James | 2023-07-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/singular: drop 4.3.1_p3 | Michael Orlitzky | 2023-07-15 | 2 | -104/+0 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/coq-mathcomp: drop old 1.15.0-r1 | Maciej Barć | 2023-07-16 | 2 | -24/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: drop old 0.16.3 | Maciej Barć | 2023-07-16 | 2 | -71/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: drop old 0.16.2-r1 | Maciej Barć | 2023-07-16 | 2 | -68/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: drop old 0.16.1 | Maciej Barć | 2023-07-16 | 2 | -67/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: drop old 8.16.1 | Maciej Barć | 2023-07-16 | 2 | -121/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: drop old 8.15.2 | Maciej Barć | 2023-07-16 | 2 | -121/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/easycrypt: drop old 2022.04_p20220505 | Maciej Barć | 2023-07-16 | 2 | -46/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/why3: drop old 1.5.1 | Maciej Barć | 2023-07-16 | 2 | -104/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/why3: drop old 1.4.1-r1 | Maciej Barć | 2023-07-16 | 2 | -99/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: add pkg_preinst upgrade from 8.12 | Maciej Barć | 2023-07-16 | 4 | -0/+36 |
| | | | | | | Closes: https://bugs.gentoo.org/910236 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/flint: drop 2.8.4, 2.8.5 | Michael Orlitzky | 2023-07-15 | 3 | -156/+0 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/vampire: bump to 4.8 | Maciej Barć | 2023-07-15 | 2 | -0/+60 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/vampire: drop old 4.6.1-r2 | Maciej Barć | 2023-07-15 | 2 | -60/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/fricas: update HOMEPAGE, SRC_URI |   Ulrich Müller | 2023-07-11 | 2 | -3/+4 |
| | | | | | Signed-off-by: Ulrich Müller <ulm@gentoo.org> | ||||
| * | sci-mathematics/coq: Stabilize 8.17.0 amd64, #907179 |   Jakov Smolić | 2023-07-11 | 1 | -1/+1 |
| | | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/fricas: bump to 1.3.9 | Andrey Grozin | 2023-07-09 | 3 | -0/+112 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/flint: remove hardcoded CFLAGS |   Matoro Mahri | 2023-07-09 | 2 | -0/+70 |
| | | | | | | | Bug: https://bugs.gentoo.org/909738 Signed-off-by: Matoro Mahri <matoro@users.noreply.github.com> Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/flintqs: treeclean | Jakov Smolić | 2023-07-08 | 3 | -64/+0 |
| | | | | | | Closes: https://bugs.gentoo.org/898300 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/giac: unbundle x11-libs/gl2ps. | Michael Orlitzky | 2023-07-07 | 2 | -9/+86 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/polymake: add github upstream metadata | Sam James | 2023-07-04 | 1 | -0/+3 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/fricas: Drop trivial Emacs site-init file | Ulrich Müller | 2023-07-03 | 2 | -3/+1 |
| | | | | | Signed-off-by: Ulrich Müller <ulm@gentoo.org> | ||||
| * | sci-mathematics/giac: fix and re-enable two disabled tests. | Michael Orlitzky | 2023-06-30 | 4 | -36/+74 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/opensmt: bump to 2.5.1 | Maciej Barć | 2023-06-28 | 2 | -0/+72 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/opensmt: drop old 2.4.3-r2 | Maciej Barć | 2023-06-28 | 2 | -72/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: bump to 8.17.1 | Maciej Barć | 2023-06-28 | 2 | -0/+113 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: drop old 8.13.0-r1 | Maciej Barć | 2023-06-28 | 2 | -89/+0 |
| | | | | | | Closes: https://bugs.gentoo.org/777528 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: bump to 5.11.11 | Maciej Barć | 2023-06-25 | 2 | -0/+38 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/giac: add 1.9.0.55 | Michael Orlitzky | 2023-06-22 | 3 | -0/+213 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/slepc: add 3.19.1 |   Matthias Maier | 2023-06-19 | 2 | -0/+127 |
| | | | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org> | ||||
| * | sci-mathematics/petsc: add 3.19.2 | Matthias Maier | 2023-06-19 | 2 | -0/+237 |
| | | | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org> | ||||
| * | sci-mathematics/cgal: add 5.5.2 | Matthias Maier | 2023-06-19 | 2 | -0/+62 |
| | | | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org> | ||||
| * | sci-mathematics/jags: Stabilize 4.3.1 amd64, #908183 | Sam James | 2023-06-10 | 1 | -2/+2 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/octave: Stabilize 8.1.0 amd64, #908186 |   Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/unuran: Stabilize 1.9.0 amd64, #908185 | Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/octave: Stabilize 8.1.0 arm64, #908186 | Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/nauty: destabilize for ~x86 | Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/normaliz: destabilize for ~x86 | Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/ginac: destabilize for ~x86 | Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: destabilize for ~x86 | Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/unuran: destabilize for ~x86 | Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/singular: destabilize for ~x86 | Arthur Zamarin | 2023-06-09 | 2 | -2/+2 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/rw: destabilize for ~x86 | Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/rngstreams: destabilize for ~x86 | Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/pspp: destabilize for ~x86 | Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/prng: destabilize for ~x86 | Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
GitWeb