summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/vampire: bump to 4.8Maciej Barć2023-07-151-0/+59