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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
Manifest2026-03-14 18:08929BFile
dafny-bin-4.11.0-r1.ebuild2025-11-07 20:181.3KFile
metadata.xml2025-03-20 12:381.8KFile
nginx