| 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 |
GitWeb
