| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | sci-mathematics/cadical: new package; add version 1.5.2 |  Maciej Barć | 2021-12-28 | 3 | -0/+47 |
* | sci-mathematics/alt-ergo: fix deps |  Maciej Barć | 2021-12-28 | 1 | -1/+5 |