| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/z3: Bump to 4.8.5 | Michał Górny | 2019-06-01 | 2 | -0/+107 |
* | */*: Remove python3_4 PYTHON_COMPAT correctly | Michał Górny | 2019-04-17 | 1 | -1/+1 |
* | sci-mathematics/z3: Revert "Drop old" | Michał Górny | 2019-04-10 | 3 | -0/+197 |
* | sci-mathematics/z3: Drop old | Michał Górny | 2019-04-10 | 3 | -197/+0 |
* | sci-mathematics/z3: Keyword 4.8.4 ~arm64 | Michał Górny | 2019-03-21 | 1 | -1/+1 |
* | sci-mathematics/z3: Drop old | Michał Górny | 2019-03-10 | 3 | -215/+0 |
* | sci-mathematics/z3: Add ~arm keyword wrt bug #677862 | Mikle Kolyada | 2019-02-28 | 1 | -1/+1 |
* | sci-mathematics/z3: keyworded 4.8.4 for ppc64, bug #677862 | Sergei Trofimovich | 2019-02-17 | 1 | -1/+1 |
* | sci-mathematics/z3: Bump to 4.8.4 | Michał Górny | 2019-02-13 | 2 | -0/+107 |
* | sci-mathematics/z3: Enable multilib support | Michał Górny | 2019-01-09 | 1 | -0/+106 |
* | sci-mathematics/z3: Run tests | Michał Górny | 2018-12-13 | 1 | -0/+7 |
* | sci-mathematics/z3: Enable python3 | Michał Górny | 2018-12-13 | 1 | -1/+1 |
* | sci-mathematics/z3: Bump to 4.8.3, major ebuild overhaul | Michał Górny | 2018-12-13 | 2 | -0/+102 |
* | sci-mathematics/z3: Co-maintain (used by clang) | Michał Górny | 2018-12-13 | 1 | -0/+3 |
* | sci-mathematics: Update Manifest hashes. | Ulrich Müller | 2017-12-10 | 1 | -2/+2 |
* | sci-mathematics/z3: remove unused patch | Michael Mair-Keimberger (asterix) | 2017-08-13 | 1 | -76/+0 |
* | Globally add missing remote ID references to metadata.xml | Justin Lecher | 2017-04-29 | 1 | -6/+9 |
* | sci-mathematics/z3: Use echo instead of elog. | Mark Wright | 2017-04-26 | 2 | -3/+3 |
* | Drop $Id$ per council decision in bug #611234. | Robin H. Johnson | 2017-02-28 | 2 | -2/+0 |
* | sci-mathematics/z3: workaround configure failure on non-ASCII | Sergei Trofimovich | 2017-02-16 | 1 | -2/+7 |
* | sci-mathematics/z3: Fix examples install directory. | Mark Wright | 2017-01-28 | 2 | -2/+2 |
* | sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting. | Mark Wright | 2017-01-28 | 2 | -13/+75 |
* | sci-mathematics/z3: Thanks to Daniel Gulotta for reporting. | Mark Wright | 2017-01-03 | 2 | -6/+9 |
* | sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rster | Mark Wright | 2017-01-03 | 1 | -5/+3 |
* | sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for development | Mark Wright | 2017-01-02 | 6 | -0/+416 |