Index of /dev-lang/dafny-bin/

NameLast ModifiedSizeType
../ -  Directory
Manifest2024-Dec-06 09:41:260.9Kapplication/octet-stream
dafny-bin-4.9.0.ebuild2024-Dec-06 09:11:381.2Kapplication/octet-stream
metadata.xml2023-Feb-28 19:10:351.8Kapplication/xml
lighttpd/1.4.45