summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/vampire: bump to 4.9Maciej Barć2024-09-301-0/+63