summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cvc4: PythonCompatUpdateAlfredo Tupone2022-02-051-2/+2
* sci-mathematics/cvc4: python3_9, switch to cmake.eclassAndreas Sturmlechner2021-04-051-10/+9
* */*: Remove obsolete values from PYTHON_COMPATMichał Górny2021-01-311-1/+1
* sci-mathematics/cvc4: add python depAlfredo Tupone2021-01-201-0/+63