| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/coq: bump to 8.15.1 |   Maciej Barć | 2022-03-22 | 2 | -0/+112 |
| * | sci-mathematics/z3: fix documentation | Maciej Barć | 2022-03-21 | 2 | -4/+4 |
| * | sci-mathematics/z3: Bump to 4.8.15 |   Michał Górny | 2022-03-21 | 2 | -0/+104 |
| * | sci-mathematics/mathomatic: [QA] fix tc-get* quoting |   Sam James | 2022-03-20 | 1 | -3/+3 |
| * | sci-mathematics/lean: bump to 3.42.0 | Maciej Barć | 2022-03-18 | 2 | -0/+76 |
| * | sci-mathematics/octave: add upstream patch for slibtool support. |   Michael Orlitzky | 2022-03-17 | 2 | -0/+38 |
| * | sci-mathematics/z3: fix link atomic in riscv |   Han Gao | 2022-03-16 | 2 | -0/+64 |
| * | 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 |
GitWeb
