| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/coq: x86 stable wrt bug #827149 | Agostino Sarubbo | 2021-12-07 | 1 | -1/+1 |
* | sci-mathematics/arb: remove old "unused" arb-2.1[78].x ebuilds | Michael Orlitzky | 2021-12-06 | 3 | -113/+0 |
* | sci-mathematics/gp2c: remove old "unused" gp2c-0.0.11.3.ebuild. | Michael Orlitzky | 2021-12-06 | 2 | -30/+0 |
* | sci-mathematics/arb: x86 stable wrt bug #828377 | Agostino Sarubbo | 2021-12-06 | 1 | -1/+1 |
* | sci-mathematics/coq: Stabilize 8.12.0-r2 amd64, #827149 | Jakov Smolić | 2021-12-06 | 1 | -1/+1 |
* | sci-mathematics/arb: amd64 stable wrt bug #828377 | Agostino Sarubbo | 2021-12-06 | 1 | -1/+1 |
* | sci-mathematics/gp2c: amd64 stable wrt bug #828375 | Agostino Sarubbo | 2021-12-06 | 1 | -1/+1 |
* | sci-mathematics/lean: gmp slot | Maciej Barć | 2021-12-04 | 2 | -2/+2 |
* | sci-mathematics/slepc: version bump to 3.16 | Matthias Maier | 2021-12-03 | 2 | -0/+70 |
* | sci-mathematics/petsc: version bump to 3.16.0 and bugfix | Fabio Rossi | 2021-12-01 | 3 | -0/+209 |
* | sci-mathematics/nauty: Keyword 2.7.3 arm, #826706 | Arthur Zamarin | 2021-11-29 | 1 | -1/+1 |
* | sci-mathematics/cliquer: Keyword 1.22 arm, #826706 | Arthur Zamarin | 2021-11-29 | 1 | -1/+1 |
* | sci-mathematics/gimps: Version bump to 30.7 build 9 | PPed72 | 2021-11-29 | 2 | -1/+1 |
* | sci-mathematics/wxmaxima: clean old versions | Andrey Grozin | 2021-11-29 | 4 | -240/+0 |
* | sci-mathematics/wxmaxima: bump to 21.11.0 | Andrey Grozin | 2021-11-29 | 2 | -0/+80 |
* | sci-mathematics/spin: add 6.5.2, drop 6.5.1 | Marek Szuba | 2021-11-28 | 3 | -2/+2 |
* | sci-mathematics/gretl: add 2021d, drop 1.9.90 | Marek Szuba | 2021-11-27 | 4 | -33/+57 |
* | sci-mathematics/spin: add myself as a maintainer | Marek Szuba | 2021-11-26 | 1 | -1/+7 |
* | sci-mathematics/spin: add 6.5.1, remove 6.4.5 | Marek Szuba | 2021-11-26 | 5 | -68/+66 |
* | sci-mathematics/lean: add live | Maciej Barć | 2021-11-26 | 1 | -0/+75 |
* | sci-mathematics/lean: always use non-hardcoded MAJOR; use readme.gentoo | Maciej Barć | 2021-11-26 | 1 | -9/+16 |
* | sci-mathematics/metamath: change patch filename | Maciej Barć | 2021-11-26 | 2 | -1/+1 |
* | sci-mathematics/mathlib-tools: new package; add version 1.1.0 | Maciej Barć | 2021-11-26 | 3 | -0/+69 |
* | sci-mathematics/lean: new package; add version 3.35.1 | Maciej Barć | 2021-11-26 | 4 | -0/+112 |
* | sci-mathematics/metamath: new package; add version 0.198 | Maciej Barć | 2021-11-26 | 4 | -0/+63 |
* | sci-mathematics/lcalc: new upstream version 2.0.4. | Michael Orlitzky | 2021-11-25 | 2 | -0/+32 |
* | sci-mathematics/nauty: fix v2.7.3 build with GNU libtool. | Michael Orlitzky | 2021-11-23 | 1 | -0/+4 |
* | sci-mathematics/nauty: new upstream version 2.7.3. | Michael Orlitzky | 2021-11-22 | 2 | -0/+75 |
* | sci-mathematics/gmp-ecm: keyword 7.0.4-r4 for ~riscv | Alex Fan | 2021-11-22 | 1 | -1/+1 |
* | sci-mathematics/arb: keyword 2.21.0 for ~riscv | Alex Fan | 2021-11-22 | 1 | -1/+1 |
* | sci-mathematics/singular: keyword 4.2.1 for ~riscv | Alex Fan | 2021-11-22 | 1 | -1/+1 |
* | sci-mathematics/flint: keyword 2.8.3 for ~riscv | Alex Fan | 2021-11-22 | 1 | -1/+1 |
* | sci-mathematics/octave-epstk: keyword 2.4 for ~riscv | Alex Fan | 2021-11-22 | 1 | -1/+1 |
* | sci-mathematics/spin: keyword 6.4.5 for ~riscv | Alex Fan | 2021-11-22 | 1 | -1/+1 |
* | */*: reassign aisha's packages | Joonas Niilola | 2021-11-21 | 1 | -8/+0 |
* | sci-mathematics/z3: Bump to 4.8.13 | Michał Górny | 2021-11-19 | 2 | -0/+104 |
* | sci-mathematics/maxima: destabilize 5.42.1-r1 for ~ppc | Georgy Yakovlev | 2021-11-18 | 1 | -1/+1 |
* | sci-mathematics/singular: de-stabilize for ~ppc, bug #823768 | Georgy Yakovlev | 2021-11-18 | 1 | -1/+1 |
* | sci-mathematics/mathomatic: de-stabilize for ~ppc, bug #823768 | Georgy Yakovlev | 2021-11-18 | 1 | -2/+2 |
* | sci-mathematics/lpsolve: de-stabilize for ~ppc, bug #823768 | Georgy Yakovlev | 2021-11-18 | 1 | -2/+2 |
* | sci-mathematics/ginac: de-stabilize for ~ppc, bug #823768 | Georgy Yakovlev | 2021-11-18 | 1 | -1/+1 |
* | sci-mathematics/flint: de-stabilize for ~ppc, bug #823768 | Georgy Yakovlev | 2021-11-18 | 1 | -1/+1 |
* | sci-mathematics/euler: de-stabilize for ~ppc, bug #823768 | Georgy Yakovlev | 2021-11-18 | 1 | -1/+1 |
* | sci-mathematics/4ti2: de-stabilize for ~ppc, bug #823768 | Georgy Yakovlev | 2021-11-18 | 1 | -1/+1 |
* | sci-mathematics/flint: new upstream version 2.8.4. | Michael Orlitzky | 2021-11-17 | 2 | -1/+1 |
* | sci-mathematics/genius: Bump to 1.0.27 | Pacho Ramos | 2021-11-11 | 2 | -0/+56 |
* | sci-mathematics/pari: new upstream version pari-2.13.3. | Michael Orlitzky | 2021-11-10 | 2 | -0/+122 |
* | sci-mathematics/pari: remove old pari-2.11.4.ebuild. | Michael Orlitzky | 2021-11-10 | 2 | -119/+0 |
* | sci-mathematics/pari: Stabilize 2.13.2 ppc, #821466 | Sam James | 2021-11-10 | 1 | -1/+1 |
* | sci-mathematics/gmm: version bump 5.4 | Amy Liffey | 2021-11-08 | 2 | -0/+23 |