summaryrefslogtreecommitdiff
path: root/dev-lang/dafny
ModeNameSize
-rw-r--r--Manifest137661logplain
-rw-r--r--dafny-4.10.0.ebuild18905logplain
-rw-r--r--dafny-4.11.0.ebuild20665logplain
d---------files242logplain
-rw-r--r--metadata.xml1884logplain