| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | 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 |