summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/eprover: do not call ar/ranlib directlyMaciej Barć2023-01-041-0/+4
* sci-mathematics/eprover: new package; add 3.0_pre008Maciej Barć2023-01-041-0/+62