summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/vampire: fix build on muslMaciej Barć2023-02-061-0/+40