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

NameLast ModifiedSizeType
../ -  Directory
files/2025-May-09 08:10:56-  Directory
Manifest2025-Mar-20 13:38:29129.1Kapplication/octet-stream
dafny-4.10.0.ebuild2025-Mar-20 13:38:2918.4Kapplication/vnd.gentoo.ebuild
dafny-4.8.0.ebuild2025-Mar-20 13:38:2920.6Kapplication/vnd.gentoo.ebuild
dafny-4.8.1.ebuild2025-Mar-20 13:38:2920.6Kapplication/vnd.gentoo.ebuild
dafny-4.9.0.ebuild2025-Mar-20 13:38:2919.9Kapplication/vnd.gentoo.ebuild
dafny-4.9.1.ebuild2025-Mar-20 13:38:2918.6Kapplication/vnd.gentoo.ebuild
metadata.xml2025-Mar-20 13:38:291.8Kapplication/xml
lighttpd/1.4.69