summaryrefslogtreecommitdiff
path: root/sci-mathematics/verifpal
ModeNameSize
-rw-r--r--Manifest1551logplain
d---------files70logplain
-rw-r--r--metadata.xml643logplain
-rw-r--r--verifpal-0.27.0.ebuild829logplain