| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/z3: Remove old |   Michał Górny | 2024-10-19 | 3 | -216/+0 |
| * | sci-mathematics/z3: Stabilize 4.13.3 sparc, #941789 |   Arthur Zamarin | 2024-10-19 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.13.3 x86, #941789 | Arthur Zamarin | 2024-10-19 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.13.3 ppc64, #941789 | Arthur Zamarin | 2024-10-19 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.13.3 amd64, #941789 | Arthur Zamarin | 2024-10-19 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.13.3 arm, #941789 | Arthur Zamarin | 2024-10-19 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.13.3 arm64, #941789 | Arthur Zamarin | 2024-10-19 | 1 | -1/+1 |
| * | sci-mathematics/smtinterpol: dekeyword x86 | Arthur Zamarin | 2024-10-17 | 1 | -1/+1 |
| * | sci-mathematics/cvc4: dekeyword x86 | Arthur Zamarin | 2024-10-17 | 1 | -1/+1 |
| * | sci-mathematics/mathematica: for M 10, we also need to preload harfbuzz now |   Andreas K. Hüttel | 2024-10-16 | 1 | -0/+96 |
| * | sci-mathematics/cgal: add 6.0, drop 6.0_beta1 |   Matthias Maier | 2024-10-15 | 2 | -2/+2 |
| * | sci-mathematics/flint: fix the flint.pc location again |   Michael Orlitzky | 2024-10-14 | 2 | -0/+27 |
| * | sci-mathematics/z3: Bump to 4.13.3 | Michał Górny | 2024-10-11 | 2 | -0/+108 |
| * | sci-mathematics/gap: revbump with an upstream patch | Michael Orlitzky | 2024-10-09 | 2 | -0/+318 |
| * | sci-mathematics/easycrypt: bump to 2024.09 |   Maciej Barć | 2024-10-06 | 2 | -0/+51 |
| * | sci-mathematics/gfan: add another missing USE=doc build dep | Michael Orlitzky | 2024-10-05 | 1 | -1/+2 |
| * | sci-mathematics/gfan: add missing TeX build dep for USE=doc | Michael Orlitzky | 2024-10-05 | 1 | -1/+6 |
| * | sci-mathematics/gfan: new patch to fix out-of-bounds indexing | Michael Orlitzky | 2024-10-05 | 2 | -0/+40 |
| * | sci-mathematics/singular: add 4.4.0_p6, drop 4.4.0_p2 | Michael Orlitzky | 2024-10-04 | 2 | -1/+1 |
| * | sci-mathematics/smtinterpol: drop 2.5_p20211018 |   Volkmar W. Pogatzki | 2024-10-02 | 1 | -43/+0 |
| * | sci-mathematics/smtinterpol: Stabilize 2.5_p20211018-r1 amd64, #940447 |   Sam James | 2024-10-02 | 1 | -1/+1 |
| * | sci-mathematics/coq: Stabilize 8.19.2 amd64, #940557 | Arthur Zamarin | 2024-09-30 | 1 | -1/+1 |
| * | sci-mathematics/boolector: bump to 3.2.4 | Maciej Barć | 2024-09-30 | 2 | -0/+87 |
| * | sci-mathematics/vampire: bump to 4.9 | Maciej Barć | 2024-09-30 | 2 | -0/+64 |
| * | sci-mathematics/z3: Bump to 4.13.2 | Michał Górny | 2024-09-28 | 2 | -0/+108 |
| * | sci-mathematics/fricas: remove old versions |   Andrey Grozin | 2024-09-23 | 3 | -179/+0 |
| * | sci-mathematics/fricas: USE flag gmp did not work. Fixed. | Andrey Grozin | 2024-09-23 | 1 | -0/+100 |
| * | sci-mathematics/cvc4: fix build on musl |   Alfredo Tupone | 2024-09-22 | 1 | -0/+11 |
| * | sci-mathematics/sympow: drop IUSE="" and DEPEND="" | Michael Orlitzky | 2024-09-20 | 1 | -2/+0 |
| * | sci-mathematics/rw: drop IUSE="" | Michael Orlitzky | 2024-09-20 | 1 | -1/+0 |
| * | sci-mathematics/rw: keyword 0.9 for ~riscv | Michael Orlitzky | 2024-09-20 | 1 | -2/+2 |
| * | sci-mathematics/sympow: keyword 2.023.6 for ~riscv | Michael Orlitzky | 2024-09-20 | 1 | -2/+2 |
| * | sci-mathematics/giac: remove unused patches |   Michael Mair-Keimberger | 2024-09-20 | 2 | -91/+0 |
| * | sci-mathematics/lean: bump to 4.11.0 | Maciej Barć | 2024-09-20 | 2 | -0/+82 |
| * | sci-mathematics/lean: drop ~x86 KEYWORD | Maciej Barć | 2024-09-20 | 1 | -1/+1 |
| * | */*: unkeyword ~ia64 | Arthur Zamarin | 2024-09-12 | 2 | -2/+2 |
| * | sci-mathematics/giac: delete more build artifacts in src_prepare() | Michael Orlitzky | 2024-09-10 | 1 | -3/+9 |
| * | sci-mathematics/dunshire: remove pypi upstream metadata | Michael Orlitzky | 2024-09-09 | 1 | -4/+0 |
| * | sci-mathematics/twelf: mark as LTO-unsafe |   Eli Schwartz | 2024-09-09 | 1 | -1/+7 |
| * | sci-mathematics/twelf: update HOMEPAGE for https | Eli Schwartz | 2024-09-09 | 1 | -1/+1 |
| * | sci-mathematics/twelf: update SRC_URI to new mirror | Eli Schwartz | 2024-09-09 | 1 | -2/+2 |
| * | sci-mathematics/twelf: add github upstream metadata | Eli Schwartz | 2024-09-09 | 1 | -0/+3 |
| * | sci-mathematics/coq: fix SRC_URI | Maciej Barć | 2024-09-09 | 1 | -2/+2 |
| * | sci-mathematics/coq-serapi: bump to 0.20.0 | Maciej Barć | 2024-09-09 | 2 | -0/+84 |
| * | sci-mathematics/coq: bump to 8.20.0 | Maciej Barć | 2024-09-09 | 2 | -0/+140 |
| * | sci-mathematics/dunshire: Remove `det setup.py` false positive | Michał Górny | 2024-09-08 | 1 | -7/+13 |
| * | sci-mathematics/giac: drop 1.9.0.93 | Michael Orlitzky | 2024-09-05 | 2 | -190/+0 |
| * | sci-mathematics/giac: add patch to fix GLIBCXX_ASSERTIONS crash | Michael Orlitzky | 2024-09-05 | 2 | -0/+44 |
| * | sci-mathematics/giac: Update glibcxx assertion patch for a more complete cove... |   François Bissey | 2024-09-05 | 1 | -0/+17 |
| * | sci-mathematics/giac: add 1.9.0.995 | François Bissey | 2024-09-05 | 3 | -0/+213 |
GitWeb
