| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/mathlib-tools: bump to 1.3.1 |   Maciej Barć | 2022-11-29 | 2 | -0/+54 |
| * | sci-mathematics/cadabra: bump to 2.4.2.2 | Maciej Barć | 2022-11-28 | 2 | -0/+105 |
| * | sci-mathematics/z3: keyword 4.11.2 for ~loong |   WANG Xuerui | 2022-11-27 | 1 | -1/+1 |
| * | sci-mathematics/coq: drop old 8.11.2-r1 | Maciej Barć | 2022-11-26 | 2 | -91/+0 |
| * | sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12 |   Alfredo Tupone | 2022-11-26 | 2 | -9/+4 |
| * | Revert "sci-mathematics/coq: drop old 8.11.2-r1" | Maciej Barć | 2022-11-26 | 2 | -0/+91 |
| * | sci-mathematics/coq: drop old 8.11.2-r1 | Maciej Barć | 2022-11-26 | 2 | -91/+0 |
| * | sci-mathematics/coq: bump to 8.16.1 | Maciej Barć | 2022-11-26 | 2 | -0/+112 |
| * | sci-mathematics/pari: add 2.15.1, drop 2.15.0 |   Michael Orlitzky | 2022-11-23 | 2 | -1/+1 |
| * | sci-mathematics/octave: drop 5.2.0 |   Andreas Sturmlechner | 2022-11-23 | 4 | -223/+0 |
| * | sci-mathematics/jags: add 4.3.1 |   Sam James | 2022-11-22 | 2 | -0/+48 |
| * | sci-mathematics/jags: use ver_cut in SRC_URI | Sam James | 2022-11-22 | 1 | -5/+5 |
| * | sci-mathematics/giac: add missing USE dep x11-libs/fltk[opengl]. | Michael Orlitzky | 2022-11-20 | 1 | -1/+1 |
| * | sci-mathematics/gmp-ecm: drop 7.0.4-r4 | Michael Orlitzky | 2022-11-19 | 4 | -161/+0 |
| * | sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 x86, #882059 | Sam James | 2022-11-20 | 1 | -1/+1 |
| * | sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 amd64, #882059 | Sam James | 2022-11-20 | 1 | -1/+1 |
| * | sci-mathematics/alt-ergo: remove seq reference from dune build file | Maciej Barć | 2022-11-19 | 2 | -0/+13 |
| * | sci-mathematics/lean: bump to 3.49.1 | Maciej Barć | 2022-11-18 | 2 | -0/+78 |
| * | sci-mathematics/gmp-ecm: Keyword 7.0.5-r1 ppc64, #871921 |   Arthur Zamarin | 2022-11-18 | 1 | -1/+1 |
| * | sci-mathematics/arb: Keyword 2.23.0 ppc64, #871921 | Arthur Zamarin | 2022-11-18 | 1 | -1/+1 |
| * | sci-mathematics/flint: Keyword 2.9.0 ppc64, #871921 | Arthur Zamarin | 2022-11-18 | 1 | -1/+1 |
| * | sci-mathematics/octave: fix build loop with USE=doc & texinfo-7.0 | Sam James | 2022-11-15 | 2 | -0/+46 |
| * | sci-mathematics/mathlib-tools: bump to 1.3.0 | Maciej Barć | 2022-11-13 | 2 | -0/+54 |
| * | sci-mathematics/mathlib-tools: drop old 1.1.2-r1 | Maciej Barć | 2022-11-13 | 2 | -52/+0 |
| * | sci-mathematics/mathlib-tools: drop old 1.1.1-r1 | Maciej Barć | 2022-11-13 | 2 | -51/+0 |
| * | sci-mathematics/lean: drop old 3.46.0 | Maciej Barć | 2022-11-12 | 2 | -78/+0 |
| * | sci-mathematics/lean: bump to 3.49.0 | Maciej Barć | 2022-11-12 | 2 | -0/+78 |
| * | sci-mathematics/cvc4: drop toml usage | Alfredo Tupone | 2022-11-11 | 2 | -3/+52 |
| * | sci-mathematics/giac: drop 1.7.0.47, 1.9.0.5, 1.9.0.21 |   François Bissey | 2022-11-10 | 4 | -507/+0 |
| * | sci-mathematics/giac: add 1.9.0.29 | François Bissey | 2022-11-10 | 2 | -0/+173 |
| * | sci-mathematics/octave: new revision fixing some dependency issues. | Michael Orlitzky | 2022-11-09 | 2 | -11/+38 |
| * | sci-mathematics/stp: do not run C API tests | Maciej Barć | 2022-11-06 | 1 | -1/+3 |
| * | sci-mathematics/octave: Stabilize 6.4.0-r3 arm, #854489 | Sam James | 2022-11-05 | 1 | -1/+1 |
| * | sci-mathematics/octave: add 7.3.0 | Sam James | 2022-11-05 | 2 | -0/+209 |
| * | sci-mathematics/coq-serapi: bump to 0.16.1 | Maciej Barć | 2022-10-31 | 2 | -0/+67 |
| * | sci-mathematics/nauty: drop 2.7.3 | Michael Orlitzky | 2022-10-29 | 2 | -78/+0 |
| * | sci-mathematics/nauty: Stabilize 2.7.4 x86, #877789 | Sam James | 2022-10-28 | 1 | -1/+1 |
| * | sci-mathematics/cadabra: drop old 2.4.2 | Maciej Barć | 2022-10-27 | 2 | -105/+0 |
| * | sci-mathematics/cadabra: bump to 2.4.2.1 | Maciej Barć | 2022-10-27 | 2 | -0/+105 |
| * | sci-mathematics/coq-serapi: remove seq dependency | Maciej Barć | 2022-10-27 | 1 | -1/+0 |
| * | sci-mathematics/cadabra: bump to 2.4.2 | Maciej Barć | 2022-10-27 | 2 | -0/+105 |
| * | sci-mathematics/rkward: drop 0.7.4 | Andreas Sturmlechner | 2022-10-25 | 2 | -58/+0 |
| * | sci-mathematics/singular: Stabilize 4.3.1_p1 amd64, #873052 | Sam James | 2022-10-25 | 1 | -1/+1 |
| * | sci-mathematics/nauty: Stabilize 2.7.4 amd64, #877789 | Sam James | 2022-10-25 | 1 | -1/+1 |
| * | sci-mathematics/mathlib-tools: add DISTUTILS_USE_PEP517 | Maciej Barć | 2022-10-23 | 2 | -0/+2 |
| * | sci-mathematics/mathlib-tools: drop old 1.1.0-r1 | Maciej Barć | 2022-10-23 | 2 | -50/+0 |
| * | sci-mathematics/mathlib-tools: bump to 1.2.0 | Maciej Barć | 2022-10-23 | 2 | -0/+52 |
| * | sci-mathematics/rkward: add 0.7.5 | Andreas Sturmlechner | 2022-10-22 | 2 | -0/+58 |
| * | sci-mathematics/eclib: drop 20210625 | Michael Orlitzky | 2022-10-20 | 2 | -36/+0 |
| * | sci-mathematics/primecount: drop 7.3 | Michael Orlitzky | 2022-10-20 | 2 | -55/+0 |
GitWeb
