| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/gfan: disable test that fails on x86. | Michael Orlitzky | 2022-01-25 | 1 | -0/+4 |
* | sci-mathematics/gfan: new revision to fix the doc build. | Michael Orlitzky | 2022-01-25 | 1 | -0/+71 |
* | sci-mathematics/minisat: reformat metadata.xml | David Seifert | 2022-01-24 | 1 | -24/+23 |
* | sci-mathematics/minisat: don't install static libraries (pg0204) | David Seifert | 2022-01-24 | 2 | -6/+58 |
* | sci-mathematics/yafu: Add openmp dependency | Patrick Lauer | 2022-01-23 | 1 | -1/+5 |
* | sci-mathematics/geogebra-bin: add 5.0.683.0 | Georgy Yakovlev | 2022-01-22 | 2 | -0/+56 |
* | sci-mathematics/pari: remove old "unused" pari-2.13.2.ebuild. | Michael Orlitzky | 2022-01-20 | 2 | -122/+0 |
* | sci-mathematics/pari: Stabilize 2.13.3 ppc, #831413 | Sam James | 2022-01-19 | 1 | -1/+1 |
* | sci-mathematics/pari: Stabilize 2.13.3 ppc64, #831413 | Sam James | 2022-01-19 | 1 | -1/+1 |
* | sci-mathematics/nauty: remove old "unused" ebuilds. | Michael Orlitzky | 2022-01-18 | 3 | -108/+0 |
* | sci-mathematics/nauty: Stabilize 2.7.3 x86, #831412 | Sam James | 2022-01-18 | 1 | -1/+1 |
* | sci-mathematics/flint: Stabilize 2.8.4 x86, #831415 | Jakov Smolić | 2022-01-18 | 1 | -1/+1 |
* | sci-mathematics/arb: Stabilize 2.21.0 x86, #831414 | Jakov Smolić | 2022-01-18 | 1 | -1/+1 |
* | sci-mathematics/pari: Stabilize 2.13.3 x86, #831413 | Jakov Smolić | 2022-01-18 | 1 | -1/+1 |
* | sci-mathematics/flint: Stabilize 2.8.4 amd64, #831415 | Jakov Smolić | 2022-01-18 | 1 | -2/+2 |
* | sci-mathematics/arb: Stabilize 2.21.0 amd64, #831414 | Jakov Smolić | 2022-01-18 | 1 | -2/+2 |
* | sci-mathematics/pari: Stabilize 2.13.3 amd64, #831413 | Jakov Smolić | 2022-01-18 | 1 | -2/+2 |
* | sci-mathematics/nauty: Stabilize 2.7.3 amd64, #831412 | Jakov Smolić | 2022-01-18 | 1 | -2/+2 |
* | sci-mathematics/lcalc: remove old "unused" lcalc-2.0.3.ebuild. | Michael Orlitzky | 2022-01-18 | 2 | -32/+0 |
* | sci-mathematics/lcalc: maintainer stabilize v2.0.5 on amd64. | Michael Orlitzky | 2022-01-18 | 1 | -2/+2 |
* | sci-mathematics/why3: add sci-mathematics to maintainers | Maciej Barć | 2022-01-17 | 1 | -0/+4 |
* | sci-mathematics/easycrypt: add sci-mathematics to maintainers | Maciej Barć | 2022-01-17 | 1 | -0/+4 |
* | sci-mathematics/minisat: drop old 2.2.0_p20130925 version | Maciej Barć | 2022-01-17 | 3 | -585/+0 |
* | sci-mathematics/octave: remove old "unused" ebuilds. | Michael Orlitzky | 2022-01-17 | 3 | -394/+0 |
* | sci-mathematics/octave: new upstream version 6.4.0. | Michael Orlitzky | 2022-01-17 | 2 | -0/+205 |
* | sci-mathematics/spin: backport upstream fix for CVE-2021-46168 | Marek Szuba | 2022-01-16 | 2 | -1/+57 |
* | sci-mathematics/giac: new upstream version 1.7.0.45. | Michael Orlitzky | 2022-01-15 | 2 | -0/+166 |
* | sci-mathematics/why3: fix race condition in parallel make doc | François-Xavier Carton | 2022-01-15 | 1 | -0/+1 |
* | sci-mathematics/why3: add missing latex dependencies | François-Xavier Carton | 2022-01-13 | 1 | -1/+3 |
* | sci-mathematics/gimps: add 32 bit binary | PPed72 | 2022-01-13 | 2 | -2/+4 |
* | sci-mathematics/z3: Remove old | Michał Górny | 2022-01-11 | 2 | -104/+0 |
* | sci-mathematics/z3: Stabilize 4.8.13 arm64, #830771 | Sam James | 2022-01-10 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.13 arm, #830771 | Sam James | 2022-01-09 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.13 ppc64, #830771 | Sam James | 2022-01-09 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.13 amd64, #830771 | Jakov Smolić | 2022-01-08 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.13 x86, #830771 | Jakov Smolić | 2022-01-08 | 1 | -2/+2 |
* | sci-mathematics/lean: bump to 3.37.0 | Maciej Barć | 2022-01-08 | 2 | -0/+76 |
* | sci-mathematics/rkward: Drop 0.7.2 (r0) | Andreas Sturmlechner | 2022-01-07 | 1 | -54/+0 |
* | sci-mathematics/rkward: EAPI-8, more optfeature, various fixes | Andreas Sturmlechner | 2022-01-07 | 6 | -0/+420 |
* | sci-mathematics/petsc: EAPI 8 | Alessandro Barbieri | 2022-01-04 | 2 | -3/+198 |
* | sci-mathematics/singular: Keyword 4.2.1_p3 ppc, #829986 | Arthur Zamarin | 2021-12-31 | 1 | -1/+1 |
* | sci-mathematics/singular: keyword 4.2.1_p3 for ~riscv | Alex Fan | 2021-12-29 | 1 | -1/+1 |
* | sci-mathematics/topcom: keyword 0.17.8-r1 for ~riscv | Alex Fan | 2021-12-29 | 1 | -1/+1 |
* | sci-mathematics/4ti2: keyword 1.6.7-r1 for ~riscv | Alex Fan | 2021-12-29 | 1 | -1/+1 |
* | sci-mathematics/polymake: keyword 4.5 for ~riscv | Alex Fan | 2021-12-29 | 1 | -1/+1 |
* | sci-mathematics/normaliz: keyword 3.8.10-r1 for ~riscv | Alex Fan | 2021-12-29 | 1 | -1/+1 |
* | sci-mathematics/nauty: keyword 2.7.3 for ~riscv | Alex Fan | 2021-12-29 | 1 | -1/+1 |
* | sci-mathematics/cliquer: keyword 1.22 for ~riscv | Alex Fan | 2021-12-29 | 1 | -1/+1 |
* | sci-mathematics/smtinterpol: new package; add version 2.5_p20211018 | Maciej Barć | 2021-12-28 | 5 | -0/+78 |
* | sci-mathematics/cadical: patch direct call to ar | Maciej Barć | 2021-12-28 | 2 | -0/+15 |