| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/z3: Remove old |  Michał Górny | 2022-01-11 | 2 | -104/+0 |
* | sci-mathematics/z3: Stabilize 4.8.13 arm64, #830771 |  Sam James | 2022-01-10 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.13 arm, #830771 |  Sam James | 2022-01-09 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.13 ppc64, #830771 |  Sam James | 2022-01-09 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.13 amd64, #830771 |  Jakov Smolić | 2022-01-08 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.13 x86, #830771 |  Jakov Smolić | 2022-01-08 | 1 | -2/+2 |
* | sci-mathematics/z3: Bump to 4.8.14 |  Michał Górny | 2021-12-24 | 2 | -0/+104 |
* | sci-mathematics/z3: Bump to 4.8.13 |  Michał Górny | 2021-11-19 | 2 | -0/+104 |
* | sci-mathematics/z3: fix build failure with USE="java" |  Alexander Golubev | 2021-10-20 | 1 | -1/+8 |
* | **/metadata.xml: Replace http by https in DOCTYPE element |  Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | sci-mathematics/z3: Remove old |  Michał Górny | 2021-08-06 | 3 | -194/+0 |
* | sci-mathematics/z3: Stabilize 4.8.11b arm64, #805470 |  Sam James | 2021-08-06 | 1 | -1/+1 |
* | sci-mathematics/z3: x86 stable wrt bug #805470 |  Agostino Sarubbo | 2021-08-03 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.11b arm, #805470 |  Sam James | 2021-08-02 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.11b amd64, #805470 |  Sam James | 2021-08-02 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.11b ppc64, #805470 |  Sam James | 2021-08-01 | 1 | -1/+1 |
* | sci-mathematics/z3: Bump to 4.8.11b |  Michał Górny | 2021-07-11 | 2 | -0/+97 |
* | sci-mathematics/z3: Depend on dev-libs/gmp[cxx(+)] |  David Seifert | 2021-06-18 | 2 | -2/+2 |
* | sci-mathematics/z3: Bump to 4.8.11 |  Michał Górny | 2021-06-05 | 2 | -0/+97 |
* | sci-mathematics/z3: Keyword 4.8.10 ppc, #708344 |  Sam James | 2021-05-17 | 1 | -1/+1 |
* | */*: Normalize metadata.xml files |  Michał Górny | 2021-03-16 | 1 | -1/+1 |
* | sci-mathematics/z3: Remove old |  Michał Górny | 2021-03-06 | 2 | -97/+0 |
* | sci-mathematics/z3: Stabilize 4.8.10 arm64, #774231 |  Sam James | 2021-03-06 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.10 arm, #774231 |  Sam James | 2021-03-05 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.10 ppc64, #774231 |  Sam James | 2021-03-05 | 1 | -1/+1 |
* | sci-mathematics/z3: amd64 stable wrt bug #774231 |  Agostino Sarubbo | 2021-03-05 | 1 | -1/+1 |
* | sci-mathematics/z3: x86 stable wrt bug #774231 |  Agostino Sarubbo | 2021-03-05 | 1 | -1/+1 |
* | */*: Remove obsolete values from PYTHON_COMPAT |  Michał Górny | 2021-01-31 | 1 | -1/+1 |
* | sci-mathematics/z3: Bump to 4.8.10 |  Michał Górny | 2021-01-21 | 2 | -0/+97 |
* | sci-mathematics/z3: Keyword 4.8.9 riscv, #756115 |  Mikle Kolyada | 2020-12-04 | 1 | -1/+1 |
* | sci-mathematics/z3: Remove old |  Michał Górny | 2020-11-03 | 2 | -97/+0 |
* | sci-mathematics/z3: Stabilize 4.8.9 amd64, #751145 |  Sam James | 2020-11-03 | 1 | -1/+1 |
* | sci-mathematics/z3: stable 4.8.9 for ppc64 |  Sergei Trofimovich | 2020-10-26 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.9 arm, #751145 |  Sam James | 2020-10-26 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.8.9 arm64, #751145 |  Sam James | 2020-10-26 | 1 | -1/+1 |
* | sci-mathematics/z3: x86 stable (bug #751145) |  Thomas Deutschmann | 2020-10-26 | 1 | -1/+1 |
* | sci-mathematics/z3: Bump to 4.8.9 |  Michał Górny | 2020-09-11 | 2 | -0/+97 |
* | sci-mathematics/z3: Remove old |  Michał Górny | 2020-08-05 | 2 | -94/+0 |
* | sci-mathematics/z3: x86 stable wrt bug #734542 |  Agostino Sarubbo | 2020-08-05 | 1 | -1/+1 |
* | sci-mathematics/z3: amd64 stable wrt bug #734542 |  Agostino Sarubbo | 2020-08-05 | 1 | -1/+1 |
* | sci-mathematics/z3: stable 4.8.8 for ppc64 |  Sergei Trofimovich | 2020-08-01 | 1 | -1/+1 |
* | sci-mathematics/z3: arm stable (bug #734542) |  Sam James | 2020-07-31 | 1 | -1/+1 |
* | sci-mathematics/z3: arm64 stable (bug #734542) |  Sam James | 2020-07-30 | 1 | -1/+1 |
* | sci-mathematics/z3: drop haskell@ from maintainers |  Sergei Trofimovich | 2020-06-21 | 1 | -4/+0 |
* | sci-mathematics/z3: Port to cmake.eclass |  Michał Górny | 2020-06-08 | 1 | -2/+3 |
* | sci-mathematics/z3: Remove redundant longdesc |  Michał Górny | 2020-05-14 | 1 | -3/+0 |
* | sci-mathematics/z3: Bump to 4.8.8 |  Michał Górny | 2020-05-14 | 2 | -0/+96 |
* | sci-mathematics/z3-4.8.6: Add missing dep on dev-libs/gmp[cxx] |  Patrick McLean | 2020-03-20 | 1 | -1/+1 |
* | sci-mathematics/z3: Remove py2 |  Michał Górny | 2020-02-10 | 1 | -1/+1 |
* | */*: Clean PYTHON_COMPAT of obsolete impls |  Michał Górny | 2020-01-05 | 1 | -2/+2 |