| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/pari: drop 2.13.4-r1 | Michael Orlitzky | 2023-06-05 | 5 | -175/+0 |
* | sci-mathematics/nauty: drop 2.7.4 | Michael Orlitzky | 2023-06-05 | 2 | -85/+0 |
* | sci-mathematics/singular: Stabilize 4.3.1_p3 amd64, #907856 | Joonas Niilola | 2023-06-05 | 1 | -1/+1 |
* | sci-mathematics/pari: Stabilize 2.15.3 x86, #907855 | Sam James | 2023-06-05 | 1 | -1/+1 |
* | sci-mathematics/pari: Stabilize 2.15.3 amd64, #907855 | Sam James | 2023-06-05 | 1 | -1/+1 |
* | sci-mathematics/nauty: Stabilize 2.8.6-r1 x86, #907858 | Sam James | 2023-06-05 | 1 | -1/+1 |
* | sci-mathematics/nauty: Stabilize 2.8.6-r1 amd64, #907858 | Sam James | 2023-06-05 | 1 | -1/+1 |
* | sci-mathematics/pari: Stabilize 2.15.3 ppc64, #907855 | Sam James | 2023-06-05 | 1 | -1/+1 |
* | sci-mathematics/singular: add 4.3.2_p1 | Michael Orlitzky | 2023-06-04 | 2 | -0/+106 |
* | sci-mathematics/alt-ergo: add live version | Maciej Barć | 2023-06-04 | 1 | -0/+76 |
* | sci-mathematics/alt-ergo: bump to 2.4.3 | Maciej Barć | 2023-06-04 | 3 | -0/+87 |
* | sci-mathematics/kind2: new package; add 1.9.0 | Maciej Barć | 2023-06-03 | 3 | -0/+65 |
* | sci-mathematics/pari-data: destabilize for ~ppc | Arthur Zamarin | 2023-06-03 | 1 | -2/+2 |
* | sci-mathematics/pari: destabilize for ~ppc | Arthur Zamarin | 2023-06-03 | 1 | -2/+2 |
* | sci-mathematics/num-utils: destabilize for ~ppc | Arthur Zamarin | 2023-06-03 | 1 | -2/+2 |
* | sci-mathematics/gmm: destabilize for ~ppc | Arthur Zamarin | 2023-06-03 | 1 | -2/+2 |
* | sci-mathematics/glpk: destabilize for ~ppc | Arthur Zamarin | 2023-06-03 | 1 | -2/+2 |
* | sci-mathematics/maxima: remove old | Andrey Grozin | 2023-06-01 | 1 | -228/+0 |
* | sci-mathematics/maxima: bump to 5.47.0 | Andrey Grozin | 2023-06-01 | 2 | -0/+229 |
* | sci-mathematics/wxmaxima: remove old version | Andrey Grozin | 2023-05-31 | 2 | -52/+0 |
* | sci-mathematics/wxmaxima: Stabilize 23.04.1 amd64, #888462 | Arthur Zamarin | 2023-05-31 | 1 | -1/+1 |
* | sci-mathematics/wxmaxima: Stabilize 23.04.1 x86, #888462 | Arthur Zamarin | 2023-05-30 | 1 | -1/+1 |
* | sci-mathematics/wxmaxima: remove old versions | Andrey Grozin | 2023-05-29 | 3 | -159/+0 |
* | sci-mathematics/wxmaxima: bump to 23.05.1 | Andrey Grozin | 2023-05-29 | 2 | -0/+80 |
* | sci-mathematics/coq: Stabilize 8.17.0 x86, #907179 | Arthur Zamarin | 2023-05-26 | 1 | -1/+1 |
* | sci-mathematics/ent: Stabilize 101202 x86, #891229 | Arthur Zamarin | 2023-05-26 | 1 | -1/+1 |
* | sci-mathematics/ent: Stabilize 101202 amd64, #891229 | Sam James | 2023-05-26 | 1 | -1/+1 |
* | sci-mathematics/octave: add 8.2.0 | Sam James | 2023-05-26 | 2 | -0/+242 |
* | sci-mathematics/lean: Stabilize 3.50.3 amd64, #907180 | Sam James | 2023-05-26 | 1 | -1/+1 |
* | sci-mathematics/acl2: need to rebuild ACL2 "core" on sbcl update | Maciej Barć | 2023-05-25 | 1 | -1/+1 |
* | sci-mathematics/ginac: remove old version | Andrey Grozin | 2023-05-25 | 3 | -77/+4 |
* | sci-mathematics/form: added myself as a maintainer | Andrey Grozin | 2023-05-25 | 1 | -0/+4 |
* | sci-mathematics/wxmaxima: added myself as a maintainer | Andrey Grozin | 2023-05-25 | 1 | -0/+4 |
* | sci-mathematics/maxima: added myself as a maintainer | Andrey Grozin | 2023-05-25 | 1 | -6/+10 |
* | sci-mathematics/lean: bump to 3.51.1 | Maciej Barć | 2023-05-25 | 2 | -0/+81 |
* | */*: remove x86-solaris keyword | Fabian Groffen | 2023-05-24 | 1 | -1/+1 |
* | sci-mathematics/form: remove old version | Andrey Grozin | 2023-05-24 | 2 | -82/+0 |
* | sci-mathematics/form: bump to 4.3.1 | Andrey Grozin | 2023-05-24 | 2 | -0/+101 |
* | sci-mathematics/plfit: new package, add 0.9.3 | Michael Orlitzky | 2023-05-22 | 3 | -0/+47 |
* | sci-mathematics/normaliz: add 3.10.0 | Michael Orlitzky | 2023-05-21 | 2 | -0/+74 |
* | sci-mathematics/polymake: add 4.9, drop 4.8 | Michael Orlitzky | 2023-05-21 | 2 | -2/+2 |
* | sci-mathematics/wxmaxima: bump to 23.05.0 | Andrey Grozin | 2023-05-19 | 2 | -0/+80 |
* | sci-mathematics/lean: bump to 3.51.0 | Maciej Barć | 2023-05-17 | 2 | -0/+81 |
* | sci-mathematics/wxmaxima: remove old versions | Andrey Grozin | 2023-05-14 | 3 | -160/+0 |
* | sci-mathematics/wxmaxima: DEPEND on wxGTK:3.2-gtk3 | Andrey Grozin | 2023-05-14 | 1 | -0/+79 |
* | sci-mathematics/eclib: add 20230424 | François Bissey | 2023-05-09 | 2 | -0/+46 |
* | sci-mathematics/slepc: update SRC_URI and fix USE=doc | Matthias Maier | 2023-05-07 | 2 | -1/+9 |
* | sci-mathematics/slepc: add 3.19.0 | Matthias Maier | 2023-05-07 | 2 | -0/+119 |
* | sci-mathematics/petsc: add 3.19.1 | Matthias Maier | 2023-05-07 | 2 | -0/+237 |
* | sci-mathematics/lpsolve: drop 5.5.2.0-r1 | Andreas Sturmlechner | 2023-05-03 | 2 | -21/+0 |