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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
files/2026-04-17 03:38-  Directory
Manifest2026-03-14 18:08127.8KFile
dafny-4.11.0.ebuild2025-10-03 19:1020.2KFile
metadata.xml2025-03-20 12:381.8KFile
nginx