Skip To Content

Home - Residential - Entertainment - File Download Mirror - Directory Listing

File Download Mirror

The Internode Mirror contains a wide selection of software for download by Internode customers.

File Download Mirror Directory Listing

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

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

File NameFile SizeDate
Parent directory/--
files/-21-Mar-2025 06:54
Manifest 13226720-Mar-2025 12:38
dafny-4.10.0.ebuild 1890520-Mar-2025 12:38
dafny-4.8.0.ebuild 2109320-Mar-2025 12:38
dafny-4.8.1.ebuild 2115720-Mar-2025 12:38
dafny-4.9.0.ebuild 2039020-Mar-2025 12:38
dafny-4.9.1.ebuild 1907220-Mar-2025 12:38
metadata.xml 188420-Mar-2025 12:38