Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/cvc4: drop 1.7-r1 | Alfredo Tupone | 2023-01-29 | 1 | -62/+0 |
* | */*: remove py3.8 from PYTHON_COMPAT | David Seifert | 2023-01-14 | 1 | -2/+2 |
* | 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 |