Index of /ftp/gentoo-portage/dev-lang/dafny-bin/

NameLast ModifiedSizeType
../ -  Directory
Manifest2024-Mar-20 20:58:041.5Kapplication/octet-stream
dafny-bin-4.4.0.ebuild2024-Jan-18 18:40:531.2Kapplication/octet-stream
dafny-bin-4.5.0.ebuild2024-Mar-20 20:58:041.2Kapplication/octet-stream
metadata.xml2023-Feb-28 19:10:351.8Kapplication/xml
lighttpd/1.4.59