| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/gimps: Stabilize 30.7.9 amd64, #835335 | Jakov Smolić | 2022-03-15 | 1 | -1/+1 |
* | sci-mathematics/gimps: Stabilize 30.7.9 x86, #835335 | Jakov Smolić | 2022-03-15 | 1 | -1/+1 |
* | sci-mathematics/coq: re-add ~x86 keyword dropped by mistake | Maciej Barć | 2022-03-13 | 1 | -1/+1 |
* | sci-mathematics/lean: drop old 3.38.0 | Maciej Barć | 2022-03-12 | 2 | -76/+0 |
* | sci-mathematics/lean: bump to 3.41.0 | Maciej Barć | 2022-03-12 | 2 | -0/+76 |
* | sci-mathematics/calc: Keyword 2.13.0.1 arm64, #834526 | Arthur Zamarin | 2022-03-12 | 1 | -2/+2 |
* | sci-mathematics/why3-for-spark: add USE to select sexp | Alfredo Tupone | 2022-03-11 | 2 | -28/+40 |
* | sci-mathematics/lcalc: fix RDEPEND typo | Sam James | 2022-03-10 | 1 | -1/+1 |
* | sci-mathematics/verit: [QA] fix UnusedInherits (autotools) | Sam James | 2022-03-10 | 1 | -3/+1 |
* | sci-mathematics/mathlib-tools: add python3.10 compat | Maciej Barć | 2022-03-09 | 1 | -1/+1 |
* | sci-mathematics/mathlib-tools: bump to 1.1.1 | Maciej Barć | 2022-03-09 | 2 | -0/+50 |
* | sci-mathematics/mathlib-tools: add changelog link | Maciej Barć | 2022-03-08 | 1 | -0/+1 |
* | sci-mathematics/lrcalc: Stabilize 2.1 x86, #828376 | Jakov Smolić | 2022-03-07 | 1 | -1/+1 |
* | sci-mathematics/lrcalc: Stabilize 2.1 amd64, #828376 | Jakov Smolić | 2022-03-07 | 1 | -2/+2 |
* | sci-mathematics/alectryon: new package; add 1.4.0 | Maciej Barć | 2022-03-05 | 4 | -0/+105 |
* | sci-mathematics/coq-serapi: new package; add 0.15.0 | Maciej Barć | 2022-03-05 | 5 | -0/+100 |
* | sci-mathematics/coq-mathcomp: new package; add 1.14.0 | Maciej Barć | 2022-03-05 | 3 | -0/+41 |
* | sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot) | Maciej Barć | 2022-03-04 | 2 | -0/+46 |
* | sci-mathematics/why3: bump to 1.4.1 | Maciej Barć | 2022-03-04 | 2 | -0/+99 |
* | sci-mathematics/metamath-databases: new package; add 20220303 (2022.03.03 sna... | Maciej Barć | 2022-03-03 | 3 | -0/+64 |
* | sci-mathematics/gsl-shell: add version 2.3.2 | Andrew Ammerlaan | 2022-03-02 | 4 | -0/+100 |
* | sci-mathematics/psmt2-frontend: amd64 stable wrt bug #834375 | Agostino Sarubbo | 2022-03-02 | 1 | -2/+2 |
* | sci-mathematics/alt-ergo: amd64 stable wrt bug #834375 | Agostino Sarubbo | 2022-03-02 | 1 | -2/+2 |
* | sci-mathematics/cadabra: add glibmm to unconditional deps | Maciej Barć | 2022-03-02 | 1 | -5/+2 |
* | sci-mathematics/cadabra: new package; add version 2.3.8 | Maciej Barć | 2022-03-01 | 4 | -0/+201 |
* | sci-mathematics/coq: update metadata | Maciej Barć | 2022-02-27 | 1 | -1/+3 |
* | sci-mathematics/lean: remove USE=json and inherit of optfeature | Maciej Barć | 2022-02-22 | 5 | -16/+13 |
* | sci-mathematics/lean: drop old 3.37.0 | Maciej Barć | 2022-02-22 | 2 | -76/+0 |
* | sci-mathematics/lean: bump to 3.40.0 | Maciej Barć | 2022-02-22 | 2 | -0/+76 |
* | sci-mathematics/yacas: add version 1.9.1 | Andrew Ammerlaan | 2022-02-19 | 2 | -0/+76 |
* | sci-mathematics/coq: fix doc build - add missing fonts | Maciej Barć | 2022-02-18 | 1 | -0/+2 |
* | sci-mathematics/coq: fix doc build - add xetex dep | Maciej Barć | 2022-02-18 | 1 | -0/+1 |
* | sci-mathematics/coq: add missing latexextra dep | Maciej Barć | 2022-02-17 | 1 | -0/+1 |
* | sci-mathematics/cvc4: fix deps check | Alfredo Tupone | 2022-02-17 | 1 | -3/+6 |
* | sci-mathematics/coq: enable doc | Maciej Barć | 2022-02-17 | 1 | -16/+17 |
* | sci-mathematics/fann: fix DeprecatedInsinto | Conrad Kostecki | 2022-02-13 | 2 | -6/+6 |
* | sci-mathematics/z3: Remove old | Michał Górny | 2022-02-12 | 2 | -104/+0 |
* | sci-mathematics/z3: Stabilize 4.8.14 arm64, #833068 | Arthur Zamarin | 2022-02-11 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.14 arm, #833068 | Arthur Zamarin | 2022-02-11 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: remove unused patch | Michael Mair-Keimberger | 2022-02-10 | 1 | -25/+0 |
* | sci-mathematics/z3: Stabilize 4.8.14 ppc64, #833068 | Sam James | 2022-02-10 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.14 x86, #833068 | Sam James | 2022-02-10 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.14 amd64, #833068 | Jakov Smolić | 2022-02-10 | 1 | -2/+2 |
* | sci-mathematics/cvc4: revbump for CMake config file fix | Sam James | 2022-02-09 | 1 | -0/+0 |
* | sci-mathematics/cvc4: fix library path | Alfredo Tupone | 2022-02-08 | 1 | -0/+9 |
* | sci-mathematics/lean: drop old 3.35.1-r2 | Maciej Barć | 2022-02-08 | 2 | -76/+0 |
* | sci-mathematics/lean: bump to 3.39.1 | Maciej Barć | 2022-02-08 | 2 | -0/+76 |
* | sci-mathematics/cvc4: fix deps | Alfredo Tupone | 2022-02-08 | 1 | -1/+5 |
* | sci-mathematics/cvc4: remove unused CMake variables | Alfredo Tupone | 2022-02-08 | 1 | -3/+1 |
* | sci-mathematics/why3-for-spark: ignore CFLAGS | Alfredo Tupone | 2022-02-07 | 1 | -12/+14 |