summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/z3: Bump to 4.8.14Michał Górny2021-12-242-0/+104
* sci-mathematics/z3: Bump to 4.8.13Michał Górny2021-11-192-0/+104
* sci-mathematics/z3: fix build failure with USE="java"Alexander Golubev2021-10-201-1/+8
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* sci-mathematics/z3: Remove oldMichał Górny2021-08-063-194/+0
* sci-mathematics/z3: Stabilize 4.8.11b arm64, #805470Sam James2021-08-061-1/+1
* sci-mathematics/z3: x86 stable wrt bug #805470Agostino Sarubbo2021-08-031-1/+1
* sci-mathematics/z3: Stabilize 4.8.11b arm, #805470Sam James2021-08-021-1/+1
* sci-mathematics/z3: Stabilize 4.8.11b amd64, #805470Sam James2021-08-021-1/+1
* sci-mathematics/z3: Stabilize 4.8.11b ppc64, #805470Sam James2021-08-011-1/+1
* sci-mathematics/z3: Bump to 4.8.11bMichał Górny2021-07-112-0/+97
* sci-mathematics/z3: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-182-2/+2
* sci-mathematics/z3: Bump to 4.8.11Michał Górny2021-06-052-0/+97
* sci-mathematics/z3: Keyword 4.8.10 ppc, #708344Sam James2021-05-171-1/+1
* */*: Normalize metadata.xml filesMichał Górny2021-03-161-1/+1
* sci-mathematics/z3: Remove oldMichał Górny2021-03-062-97/+0
* sci-mathematics/z3: Stabilize 4.8.10 arm64, #774231Sam James2021-03-061-1/+1
* sci-mathematics/z3: Stabilize 4.8.10 arm, #774231Sam James2021-03-051-1/+1
* sci-mathematics/z3: Stabilize 4.8.10 ppc64, #774231Sam James2021-03-051-1/+1
* sci-mathematics/z3: amd64 stable wrt bug #774231Agostino Sarubbo2021-03-051-1/+1
* sci-mathematics/z3: x86 stable wrt bug #774231Agostino Sarubbo2021-03-051-1/+1
* */*: Remove obsolete values from PYTHON_COMPATMichał Górny2021-01-311-1/+1
* sci-mathematics/z3: Bump to 4.8.10Michał Górny2021-01-212-0/+97
* sci-mathematics/z3: Keyword 4.8.9 riscv, #756115Mikle Kolyada2020-12-041-1/+1
* sci-mathematics/z3: Remove oldMichał Górny2020-11-032-97/+0
* sci-mathematics/z3: Stabilize 4.8.9 amd64, #751145Sam James2020-11-031-1/+1
* sci-mathematics/z3: stable 4.8.9 for ppc64Sergei Trofimovich2020-10-261-1/+1
* sci-mathematics/z3: Stabilize 4.8.9 arm, #751145Sam James2020-10-261-1/+1
* sci-mathematics/z3: Stabilize 4.8.9 arm64, #751145Sam James2020-10-261-1/+1
* sci-mathematics/z3: x86 stable (bug #751145)Thomas Deutschmann2020-10-261-1/+1
* sci-mathematics/z3: Bump to 4.8.9Michał Górny2020-09-112-0/+97
* sci-mathematics/z3: Remove oldMichał Górny2020-08-052-94/+0
* sci-mathematics/z3: x86 stable wrt bug #734542Agostino Sarubbo2020-08-051-1/+1
* sci-mathematics/z3: amd64 stable wrt bug #734542Agostino Sarubbo2020-08-051-1/+1
* sci-mathematics/z3: stable 4.8.8 for ppc64Sergei Trofimovich2020-08-011-1/+1
* sci-mathematics/z3: arm stable (bug #734542)Sam James2020-07-311-1/+1
* sci-mathematics/z3: arm64 stable (bug #734542)Sam James2020-07-301-1/+1
* sci-mathematics/z3: drop haskell@ from maintainersSergei Trofimovich2020-06-211-4/+0
* sci-mathematics/z3: Port to cmake.eclassMichał Górny2020-06-081-2/+3
* sci-mathematics/z3: Remove redundant longdescMichał Górny2020-05-141-3/+0
* sci-mathematics/z3: Bump to 4.8.8Michał Górny2020-05-142-0/+96
* sci-mathematics/z3-4.8.6: Add missing dep on dev-libs/gmp[cxx]Patrick McLean2020-03-201-1/+1
* sci-mathematics/z3: Remove py2Michał Górny2020-02-101-1/+1
* */*: Clean PYTHON_COMPAT of obsolete implsMichał Górny2020-01-051-2/+2
* sci-mathematics/z3: remove unused patch(es)Michael Mair-Keimberger2019-12-121-18/+0
* sci-mathematics/z3: Tested on python3.8Michał Górny2019-12-081-1/+1
* sci-mathematics/z3: Remove oldDavid Seifert2019-12-084-473/+0
* sci-mathematics/z3: arm64 stable (bug #700296)Aaron Bauman2019-11-231-1/+1
* sci-mathematics/z3: arm stable wrt bug #700296Mikle Kolyada2019-11-221-1/+1
* sci-mathematics/z3: ppc64 stable wrt bug #700296Agostino Sarubbo2019-11-201-1/+1