summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/prover9: fix tests; bump to EAPI 8Maciej Barć2024-02-141-0/+124