| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/z3: Bump to 4.12.1 | Michał Górny | 2023-01-19 | 2 | -0/+108 |
* | sci-mathematics/nauty: add upstream patch for gentourng and gentreeg. | Michael Orlitzky | 2023-01-17 | 2 | -1/+146 |
* | sci-mathematics/ent: update SRC_URI | Jonas Stein | 2023-01-17 | 2 | -2/+2 |
* | sci-mathematics/ent: update DESCRIPTION, HOMEPAGE | Jonas Stein | 2023-01-17 | 1 | -3/+3 |
* | sci-mathematics/pari: add 2.15.2 | François Bissey | 2023-01-16 | 3 | -0/+150 |
* | sci-mathematics/form: set VARTEXFONTS | Andrey Grozin | 2023-01-15 | 1 | -2/+2 |
* | sci-mathematics/form: remove old revision | Andrey Grozin | 2023-01-15 | 1 | -81/+0 |
* | sci-mathematics/form: DEPEND on latexrecommended | Andrey Grozin | 2023-01-15 | 3 | -0/+104 |
* | sci-mathematics/z3: Bump to 4.12.0 | Michał Górny | 2023-01-15 | 2 | -0/+108 |
* | */*: remove py3.8 from PYTHON_COMPAT | David Seifert | 2023-01-14 | 29 | -56/+56 |
* | sci-mathematics/form: bump to 4.3.0 | Andrey Grozin | 2023-01-14 | 2 | -0/+82 |
* | sci-mathematics/yices2: do not install static libs | Maciej Barć | 2023-01-14 | 1 | -1/+3 |
* | sci-mathematics/opensmt: prevent fetching googletest | Maciej Barć | 2023-01-13 | 2 | -0/+76 |
* | sci-mathematics/opensmt: do not install static libs | Maciej Barć | 2023-01-13 | 1 | -1/+2 |
* | sci-mathematics/pspp: Stabilize 1.6.2-r2 amd64, #890706 | Sam James | 2023-01-13 | 1 | -1/+1 |
* | sci-mathematics/btor2tools: remove unused patch | Maciej Barć | 2023-01-13 | 1 | -28/+0 |
* | sci-mathematics/boolector: fix build to not require static libs | Maciej Barć | 2023-01-13 | 1 | -0/+1 |
* | sci-mathematics/btor2tools: do not install static libraries | Maciej Barć | 2023-01-13 | 1 | -4/+1 |
* | Revert "sci-mathematics/picosat: also install static libraries" | Maciej Barć | 2023-01-13 | 1 | -2/+1 |
* | sci-mathematics/octave: Stabilize 6.4.0-r5 arm64, #886641 | Arthur Zamarin | 2023-01-13 | 1 | -1/+1 |
* | sci-mathematics/gimps: Stabilize 30.8.17 amd64, #890640 | Sam James | 2023-01-13 | 1 | -2/+2 |
* | sci-mathematics/gimps: Stabilize 30.8.15 amd64, #890640 | Sam James | 2023-01-13 | 1 | -1/+1 |
* | sci-mathematics/gimps: Stabilize 30.8.15 x86, #890640 | Sam James | 2023-01-13 | 1 | -2/+2 |
* | sci-mathematics/cryptominisat: bump to 5.11.4 | Maciej Barć | 2023-01-12 | 2 | -0/+39 |
* | sci-mathematics/coq-serapi: drop old 0.15.0-r3 | Maciej Barć | 2023-01-12 | 2 | -65/+0 |
* | sci-mathematics/coq-serapi: bump to 0.16.2 | Maciej Barć | 2023-01-12 | 2 | -0/+67 |
* | sci-mathematics/cubicle: install the provided manual page | Maciej Barć | 2023-01-11 | 1 | -0/+2 |
* | sci-mathematics/boolector: new package; add 3.2.2_p20220110 | Maciej Barć | 2023-01-11 | 3 | -0/+110 |
* | sci-mathematics/cadical: install ccadical.h | Maciej Barć | 2023-01-11 | 1 | -2/+4 |
* | sci-mathematics/btor2tools: new package; add 1.0.0_pre20220518 | Maciej Barć | 2023-01-11 | 5 | -0/+100 |
* | sci-mathematics/picosat: also install static libraries | Maciej Barć | 2023-01-11 | 1 | -1/+2 |
* | sci-mathematics/cubicle: new package; add 1.2.0 | Maciej Barć | 2023-01-11 | 4 | -0/+105 |
* | sci-mathematics/singular: add 4.3.1_p3, drop 4.3.1_p2 | Michael Orlitzky | 2023-01-10 | 2 | -2/+2 |
* | sci-mathematics/mathlib-tools: Remove Python < 3.10 | Michał Górny | 2023-01-10 | 3 | -6/+6 |
* | sci-mathematics/kissat: new package; add 3.0.0 | Maciej Barć | 2023-01-10 | 3 | -0/+57 |
* | sci-mathematics/z3: update metadata xml | Maciej Barć | 2023-01-10 | 1 | -0/+18 |
* | sci-mathematics/octave: keyword 7.3.0-r2 for ~hppa | Sam James | 2023-01-09 | 1 | -1/+1 |
* | sci-mathematics/geogebra-bin: drop 5.0.604.0-r2 | Georgy Yakovlev | 2023-01-09 | 2 | -56/+0 |
* | sci-mathematics/geogebra-bin: add 5.0.752.0 | Georgy Yakovlev | 2023-01-09 | 2 | -0/+56 |
* | sci-mathematics/opensmt: new package; add 2.4.3 | Maciej Barć | 2023-01-09 | 3 | -0/+82 |
* | sci-mathematics/acl2: install TAGS if USE=emacs | Maciej Barć | 2023-01-08 | 1 | -1/+1 |
* | sci-mathematics/octave: disable GLIBCXX_ASSERTIONS (libstdc++ bug) | Sam James | 2023-01-08 | 2 | -3/+9 |
* | sci-mathematics/octave: drop 6.4.0-r3 | Sam James | 2023-01-08 | 1 | -215/+0 |
* | sci-mathematics/acl2: new package; add 8.5 | Maciej Barć | 2023-01-08 | 4 | -0/+119 |
* | sci-mathematics/eprover: do not call ar/ranlib directly | Maciej Barć | 2023-01-04 | 1 | -0/+4 |
* | sci-mathematics/wxmaxima: bump to 22.12.0 | Andrey Grozin | 2023-01-04 | 2 | -0/+80 |
* | sci-mathematics/eprover: new package; add 3.0_pre008 | Maciej Barć | 2023-01-04 | 3 | -0/+94 |
* | sci-mathematics/pspp: new revision to fix a few security and QA issues. | Michael Orlitzky | 2023-01-01 | 2 | -0/+115 |
* | sci-mathematics/slepc: add 3.18.1 | Matthias Maier | 2022-12-28 | 3 | -0/+120 |
* | sci-mathematics/petsc: add 3.18.2 | Matthias Maier | 2022-12-28 | 2 | -0/+237 |