| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/why3: fix *DEPEND |   Maciej Barć | 2021-12-12 | 1 | -14/+17 |
| * | sci-mathematics/easycrypt: fix ocaml dependency | Maciej Barć | 2021-12-12 | 1 | -1/+1 |
| * | sci-mathematics/easycrypt: new package; add version 1.0_pre20211210 | Maciej Barć | 2021-12-12 | 3 | -0/+57 |
| * | sci-mathematics/why3: new package; add version 1.4.0 | Maciej Barć | 2021-12-12 | 3 | -0/+126 |
| * | sci-mathematics/genius: Stabilize 1.0.27 amd64, #828932 |   Sam James | 2021-12-12 | 1 | -1/+1 |
| * | sci-mathematics/vampire: new package; add version 4.6.1 | Maciej Barć | 2021-12-11 | 3 | -0/+79 |
| * | sci-mathematics/arb: remove unused patch |   Michael Mair-Keimberger | 2021-12-09 | 1 | -21/+0 |
| * | 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 |
GitWeb
