summaryrefslogtreecommitdiff
path: root/dev-lang/dafny
ModeNameSize
-rw-r--r--Manifest122833logplain
-rw-r--r--dafny-4.3.0-r1.ebuild19287logplain
-rw-r--r--dafny-4.4.0-r1.ebuild18792logplain
d---------files424logplain
-rw-r--r--metadata.xml1884logplain