summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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