| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/z3-4.8.6: Add missing dep on dev-libs/gmp[cxx] |  Patrick McLean | 2020-03-20 | 1 | -1/+1 |
* | sci-mathematics/z3: Remove py2 |  Michał Górny | 2020-02-10 | 1 | -1/+1 |
* | */*: Clean PYTHON_COMPAT of obsolete impls |  Michał Górny | 2020-01-05 | 1 | -2/+2 |
* | sci-mathematics/z3: remove unused patch(es) |  Michael Mair-Keimberger | 2019-12-12 | 1 | -18/+0 |
* | sci-mathematics/z3: Tested on python3.8 |  Michał Górny | 2019-12-08 | 1 | -1/+1 |
* | sci-mathematics/z3: Remove old |  David Seifert | 2019-12-08 | 4 | -473/+0 |
* | sci-mathematics/z3: arm64 stable (bug #700296) |  Aaron Bauman | 2019-11-23 | 1 | -1/+1 |
* | sci-mathematics/z3: arm stable wrt bug #700296 |  Mikle Kolyada | 2019-11-22 | 1 | -1/+1 |
* | sci-mathematics/z3: ppc64 stable wrt bug #700296 |  Agostino Sarubbo | 2019-11-20 | 1 | -1/+1 |
* | sci-mathematics/z3: x86 stable wrt bug #700296 |  Agostino Sarubbo | 2019-11-19 | 1 | -1/+1 |
* | sci-mathematics/z3: amd64 stable wrt bug #700296 |  Agostino Sarubbo | 2019-11-18 | 1 | -1/+1 |
* | sci-mathematics/z3: Bump to 4.8.6 |  Michał Górny | 2019-09-20 | 2 | -0/+94 |
* | sci-mathematics/z3: arm64 stable (bug #693856) |  Aaron Bauman | 2019-09-16 | 1 | -1/+1 |
* | sci-mathematics/z3: arm stable wrt bug #693856 |  Mikle Kolyada | 2019-09-13 | 1 | -1/+1 |
* | sci-mathematics/z3: ppc64 stable wrt bug #693856 |  Agostino Sarubbo | 2019-09-11 | 1 | -1/+1 |
* | sci-mathematics/z3: x86 stable wrt bug #693856 |  Agostino Sarubbo | 2019-09-10 | 1 | -1/+1 |
* | sci-mathematics/z3: amd64 stable wrt bug #693856 |  Agostino Sarubbo | 2019-09-10 | 1 | -1/+1 |
* | sci-mathematics/z3: Drop old |  Michał Górny | 2019-06-08 | 2 | -107/+0 |
* | 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 |