summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/vampire: filter LTO (strict-aliasing)Maciej Barć2022-08-071-1/+5
* sci-mathematics/vampire: restrict z3 dep versionMaciej Barć2022-07-231-0/+53