summaryrefslogtreecommitdiff
path: root/math/vampire/files/patch-CMakeLists.txt (follow)
Commit message (Collapse)AuthorAgeFilesLines
* math/vampire: update 4.8 → 4.9casc2024Yuri Victorovich2024-07-121-0/+19
Reported by: portscout