Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/cvc4: PythonCompatUpdate | Alfredo Tupone | 2022-02-05 | 1 | -2/+2 |
* | sci-mathematics/cvc4: python3_9, switch to cmake.eclass | Andreas Sturmlechner | 2021-04-05 | 1 | -10/+9 |
* | */*: Remove obsolete values from PYTHON_COMPAT | Michał Górny | 2021-01-31 | 1 | -1/+1 |
* | sci-mathematics/cvc4: add python dep | Alfredo Tupone | 2021-01-20 | 1 | -0/+63 |