Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/z3
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/z3: x86 stable wrt bug #700296Agostino Sarubbo2019-11-191-1/+1
* sci-mathematics/z3: amd64 stable wrt bug #700296Agostino Sarubbo2019-11-181-1/+1
* sci-mathematics/z3: Bump to 4.8.6Michał Górny2019-09-202-0/+94
* sci-mathematics/z3: arm64 stable (bug #693856)Aaron Bauman2019-09-161-1/+1
* sci-mathematics/z3: arm stable wrt bug #693856Mikle Kolyada2019-09-131-1/+1
* sci-mathematics/z3: ppc64 stable wrt bug #693856Agostino Sarubbo2019-09-111-1/+1
* sci-mathematics/z3: x86 stable wrt bug #693856Agostino Sarubbo2019-09-101-1/+1
* sci-mathematics/z3: amd64 stable wrt bug #693856Agostino Sarubbo2019-09-101-1/+1
* sci-mathematics/z3: Drop oldMichał Górny2019-06-082-107/+0
* sci-mathematics/z3: Bump to 4.8.5Michał Górny2019-06-012-0/+107
* */*: Remove python3_4 PYTHON_COMPAT correctlyMichał Górny2019-04-171-1/+1
* sci-mathematics/z3: Revert "Drop old"Michał Górny2019-04-103-0/+197
* sci-mathematics/z3: Drop oldMichał Górny2019-04-103-197/+0
* sci-mathematics/z3: Keyword 4.8.4 ~arm64Michał Górny2019-03-211-1/+1
* sci-mathematics/z3: Drop oldMichał Górny2019-03-103-215/+0
* sci-mathematics/z3: Add ~arm keyword wrt bug #677862Mikle Kolyada2019-02-281-1/+1
* sci-mathematics/z3: keyworded 4.8.4 for ppc64, bug #677862Sergei Trofimovich2019-02-171-1/+1
* sci-mathematics/z3: Bump to 4.8.4Michał Górny2019-02-132-0/+107
* sci-mathematics/z3: Enable multilib supportMichał Górny2019-01-091-0/+106
* sci-mathematics/z3: Run testsMichał Górny2018-12-131-0/+7
* sci-mathematics/z3: Enable python3Michał Górny2018-12-131-1/+1
* sci-mathematics/z3: Bump to 4.8.3, major ebuild overhaulMichał Górny2018-12-132-0/+102
* sci-mathematics/z3: Co-maintain (used by clang)Michał Górny2018-12-131-0/+3