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

NameLast ModifiedSizeType
../ -  Directory
files/2025-Mar-12 13:11:16-  Directory
Manifest2025-Mar-05 01:14:57129.1Kapplication/octet-stream
dafny-4.10.0.ebuild2025-Feb-09 22:11:1218.4Kapplication/vnd.gentoo.ebuild
dafny-4.8.0.ebuild2024-Nov-22 22:40:5520.6Kapplication/vnd.gentoo.ebuild
dafny-4.8.1.ebuild2025-Feb-19 23:41:1920.6Kapplication/vnd.gentoo.ebuild
dafny-4.9.0.ebuild2024-Nov-22 22:40:5519.9Kapplication/vnd.gentoo.ebuild
dafny-4.9.1.ebuild2025-Mar-05 01:14:5718.6Kapplication/vnd.gentoo.ebuild
metadata.xml2023-Sep-17 21:40:391.8Kapplication/xml
lighttpd/1.4.69