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: Tested on python3.8 | Michał Górny | 2019-12-08 | 1 | -1/+1 |
* | 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 | 1 | -0/+93 |