summaryrefslogtreecommitdiff
path: root/dev-lang/dafny
ModeNameSize
-rw-r--r--Manifest123197logplain
-rw-r--r--dafny-4.4.0-r1.ebuild18791logplain
-rw-r--r--dafny-4.5.0.ebuild19547logplain
d---------files304logplain
-rw-r--r--metadata.xml1884logplain