| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/boolector: bump to 3.2.3 |   Maciej Barć | 2023-11-02 | 3 | -0/+95 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/btor2tools: patch includes | Maciej Barć | 2023-11-02 | 2 | -6/+21 |
| | | | | | | | Closes: https://bugs.gentoo.org/908486 Closes: https://bugs.gentoo.org/895224 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/proverif: require ocamlopt | Maciej Barć | 2023-11-02 | 2 | -6/+12 |
| | | | | | | Closes: https://bugs.gentoo.org/916717 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/pari: drop 2.15.3 |   Michael Orlitzky | 2023-10-31 | 3 | -143/+0 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/giac: add 1.9.0.67, drop 1.9.0.55-r1 | Michael Orlitzky | 2023-10-31 | 4 | -18/+48 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/pari: Stabilize 2.15.4-r1 ppc64, #916560 |   Sam James | 2023-10-31 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/pari: Stabilize 2.15.4-r1 amd64, #916560 | Sam James | 2023-10-31 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/lean: bump to 4.2.0_rc4 | Maciej Barć | 2023-10-26 | 2 | -0/+79 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/lean: drop old 3.9999 | Maciej Barć | 2023-10-26 | 1 | -80/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-mathcomp: bump to 1.17.0 | Maciej Barć | 2023-10-24 | 2 | -0/+26 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: bump to 0.18.1 | Maciej Barć | 2023-10-23 | 2 | -0/+73 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: bump to 5.11.15 | Maciej Barć | 2023-10-22 | 2 | -0/+40 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: drop old 5.11.12 | Maciej Barć | 2023-10-22 | 2 | -38/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: drop old 5.11.11 | Maciej Barć | 2023-10-22 | 2 | -38/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/fricas: remove old revisions |   Andrey Grozin | 2023-10-19 | 2 | -224/+0 |
| | | | | | | Bug: https://bugs.gentoo.org/915647 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/fricas: fix building with clozurecl | Andrey Grozin | 2023-10-19 | 2 | -12/+95 |
| | | | | | | Bug: https://bugs.gentoo.org/915647 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/cadabra: Stabilize 2.4.4.1 amd64, #915950 | Sam James | 2023-10-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/fricas: now compiles with sbcl-2.3.9 | Andrey Grozin | 2023-10-15 | 2 | -0/+174 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: bump to 23.10.0 | Andrey Grozin | 2023-10-12 | 2 | -0/+81 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/fricas: remove old versions | Andrey Grozin | 2023-10-12 | 4 | -242/+0 |
| | | | | | | Bug: https://bugs.gentoo.org/915586 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/fricas: cannot be compiled with sbcl-2.3.9 | Andrey Grozin | 2023-10-12 | 1 | -0/+111 |
| | | | | | | Closes: https://bugs.gentoo.org/915586 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/kissat: drop old 3.0.0 | Maciej Barć | 2023-10-11 | 2 | -40/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/kissat: bump to 3.1.1 | Maciej Barć | 2023-10-11 | 2 | -0/+40 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cadical: bump to 1.8.0 | Maciej Barć | 2023-10-08 | 2 | -0/+40 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/cadical: drop old 1.5.2-r1 | Maciej Barć | 2023-10-07 | 2 | -33/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/lean: drop old 3.49.0 | Maciej Barć | 2023-10-07 | 2 | -78/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/lean: drop old 3.50.3 | Maciej Barć | 2023-10-07 | 2 | -81/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/lean: drop old 3.51.0 | Maciej Barć | 2023-10-07 | 2 | -81/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/alt-ergo: remove unused patch |   Michael Mair-Keimberger | 2023-10-01 | 1 | -11/+0 |
| | | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/33071 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/easycrypt: bump to 2023.09 | Maciej Barć | 2023-09-30 | 2 | -0/+51 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/mathematica: add 13.3.1 |   Andrew Ammerlaan | 2023-09-27 | 2 | -0/+189 |
| | | | | | | | Closes: https://bugs.gentoo.org/913011 Co-authored-by: K Cameron <cameron@ieee.org> Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: bump to 5.11.14 | Maciej Barć | 2023-09-24 | 2 | -0/+40 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/polymake: treeclean |   Jakov Smolić | 2023-09-23 | 5 | -318/+0 |
| | | | | | | | Closes: https://bugs.gentoo.org/909570 Closes: https://bugs.gentoo.org/883153 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/alt-ergo: drop old 2.4.2-r1 | Maciej Barć | 2023-09-22 | 2 | -57/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/alt-ergo: drop old 2.4.1-r2 | Maciej Barć | 2023-09-22 | 2 | -49/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | Package move dev-lisp/ecls to dev-lisp/ecl |   Ulrich Müller | 2023-09-14 | 6 | -20/+20 |
| | | | | | | Closes: https://bugs.gentoo.org/586230 Signed-off-by: Ulrich Müller <ulm@gentoo.org> | ||||
| * | sci-mathematics/cadabra: bump to 2.4.4.1 | Maciej Barć | 2023-09-09 | 2 | -0/+105 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: bump to 8.18.0 | Maciej Barć | 2023-09-09 | 2 | -0/+113 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: drop old 8.17.0 | Maciej Barć | 2023-09-09 | 2 | -113/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq: drop old 8.12.0-r2 | Maciej Barć | 2023-09-09 | 2 | -91/+0 |
| | | | | | | | Closes: https://bugs.gentoo.org/888964 Closes: https://bugs.gentoo.org/889278 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: remove old version | Andrey Grozin | 2023-08-29 | 2 | -80/+0 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/ginac: bump to 1.8.7 | Andrey Grozin | 2023-08-29 | 2 | -0/+77 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/wxmaxima: bump to 23.08.0 | Andrey Grozin | 2023-08-29 | 2 | -0/+81 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/octave: add 8.3.0 | Michael Orlitzky | 2023-08-23 | 2 | -0/+242 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/normaliz: add 3.10.1, drop 3.10.0 | Michael Orlitzky | 2023-08-23 | 2 | -2/+2 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/vampire: drop old 4.7-r1 | Maciej Barć | 2023-08-22 | 3 | -104/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/opensmt: drop old 2.5.1 | Maciej Barć | 2023-08-22 | 3 | -205/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/octave: Stabilize 8.1.0 arm, #908186 | Sam James | 2023-08-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/opensmt: fix .so install | Maciej Barć | 2023-08-17 | 2 | -4/+6 |
| | | | | | | Closes: https://bugs.gentoo.org/912314 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/yacas: update upstream metadata | Michael Orlitzky | 2023-08-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
GitWeb