summaryrefslogtreecommitdiff
path: root/dev-lang/dafny
ModeNameSize
-rw-r--r--Manifest117125logplain
-rw-r--r--dafny-4.3.0-r1.ebuild19288logplain
d---------files305logplain
-rw-r--r--metadata.xml1884logplain