summaryrefslogtreecommitdiff
path: root/sci-mathematics/verifpal/files
ModeNameSize
-rw-r--r--verifpal-0.27.0-no-external-generate.patch477logplain