summaryrefslogtreecommitdiff
path: root/dev-lang/dafny
ModeNameSize
-rw-r--r--Manifest89845logplain
-rw-r--r--dafny-4.2.0.ebuild16051logplain
d---------files245logplain
-rw-r--r--metadata.xml1884logplain