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

NameLast ModifiedSizeType
../ -  Directory
Manifest2025-Sep-13 18:09:571.5Kapplication/octet-stream
dafny-bin-4.10.0-r1.ebuild2025-Sep-13 18:09:571.2Kapplication/vnd.gentoo.ebuild
dafny-bin-4.11.0-r1.ebuild2025-Sep-13 18:09:571.2Kapplication/vnd.gentoo.ebuild
metadata.xml2025-Mar-20 13:38:291.8Kapplication/xml
lighttpd/1.4.69