| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/easycrypt: bump to 2022.04 |   Maciej Barć | 2022-04-27 | 2 | -0/+44 |
| * | sci-mathematics/z3: Remove old |   Michał Górny | 2022-04-26 | 3 | -168/+0 |
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665 |   Arthur Zamarin | 2022-04-26 | 1 | -1/+1 |
| * | sci-mathematics/z3: Keyword 4.8.16 sparc, #779742 |   Sam James | 2022-04-26 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 arm, #840665 | Arthur Zamarin | 2022-04-25 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 arm64, #840665 | Arthur Zamarin | 2022-04-25 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 x86, #840665 | Sam James | 2022-04-25 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 amd64, #840665 | Sam James | 2022-04-25 | 1 | -1/+1 |
| * | sci-mathematics/z3: Bump to 4.8.16 | Michał Górny | 2022-04-24 | 2 | -0/+109 |
| * | sci-mathematics/giac: upstream bump |   François Bissey | 2022-04-22 | 2 | -0/+167 |
| * | sci-mathematics/singular: added upstream fixes for #776643 and #830279 | François Bissey | 2022-04-22 | 3 | -0/+64 |
| * | sci-mathematics/singular: upstream bump | François Bissey | 2022-04-22 | 2 | -0/+114 |
| * | sci-mathematics/coq-serapi: fix elisp libraries installation | Maciej Barć | 2022-04-20 | 1 | -1/+1 |
| * | sci-mathematics/why3: increase required menhir version | Maciej Barć | 2022-04-16 | 2 | -3/+3 |
| * | sci-mathematics/octave-6.4.0: add missing dependencies |   chn | 2022-04-16 | 1 | -5/+11 |
| * | sci-mathematics/coq-serapi: add ppx_sexp_conv version constraints | Maciej Barć | 2022-04-16 | 1 | -1/+1 |
| * | sci-mathematics/alt-ergo: bump to 2.4.1_p20220407 | Maciej Barć | 2022-04-15 | 2 | -0/+52 |
| * | sci-mathematics/alt-ergo: depend on cmdliner <1.1.0 | Maciej Barć | 2022-04-15 | 1 | -1/+1 |
| * | sci-mathematics/maxima: in 5.46 all localized docs are unicode |   Andrey Grozin | 2022-04-14 | 1 | -2/+1 |
| * | sci-mathematics/wxmaxima: bump to 22.04.0 | Andrey Grozin | 2022-04-13 | 2 | -0/+80 |
| * | sci-mathematics/wxmaxima: remove old version | Andrey Grozin | 2022-04-13 | 2 | -80/+0 |
| * | sci-mathematics/maxima: bump to 5.46.0 | Andrey Grozin | 2022-04-13 | 2 | -0/+230 |
| * | sci-mathematics/maxima: remove old versions | Andrey Grozin | 2022-04-13 | 3 | -490/+0 |
| * | sci-mathematics/pari: new upstream version 2.13.4. |   Michael Orlitzky | 2022-04-06 | 2 | -0/+122 |
| * | sci-mathematics/alectryon: fix setup.cfg; add DISTUTILS_USE_PEP517 | Maciej Barć | 2022-04-04 | 2 | -0/+13 |
| * | sci-mathematics/cryptominisat: fix sysconfig import | Maciej Barć | 2022-04-03 | 2 | -1/+26 |
| * | sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix. |   Mark Wright | 2022-03-29 | 1 | -4/+19 |
| * | sci-mathematics/twelf: emake -j1 is sufficient to fix doc build | Mark Wright | 2022-03-29 | 1 | -6/+2 |
| * | sci-mathematics/twelf: Fix ROOT in src_prepare, old-style backquotes | Mark Wright | 2022-03-27 | 6 | -16/+131 |
| * | sci-mathematics/lean: drop old 3.40.0 | Maciej Barć | 2022-03-27 | 2 | -76/+0 |
| * | sci-mathematics/lean: bump to 3.42.1 | Maciej Barć | 2022-03-27 | 2 | -0/+76 |
| * | sci-mathematics/lean: amd64 stable wrt bug #835981 |   Agostino Sarubbo | 2022-03-26 | 1 | -1/+1 |
| * | 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 |
GitWeb
