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: 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
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-2/+2
* sci-mathematics/z3: remove unused patchMichael Mair-Keimberger (asterix)2017-08-131-76/+0
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-6/+9
* sci-mathematics/z3: Use echo instead of elog.Mark Wright2017-04-262-3/+3
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-282-2/+0
* sci-mathematics/z3: workaround configure failure on non-ASCIISergei Trofimovich2017-02-161-2/+7
* sci-mathematics/z3: Fix examples install directory.Mark Wright2017-01-282-2/+2
* sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.Mark Wright2017-01-282-13/+75
* sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.Mark Wright2017-01-032-6/+9
* sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rsterMark Wright2017-01-031-5/+3
* sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for developmentMark Wright2017-01-026-0/+416