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

NameLast modifiedSize
Parent Directory  -
Manifest2025-10-03 23:10 137K
dafny-4.10.0.ebuild2025-03-20 16:38 18K
dafny-4.11.0.ebuild2025-10-03 23:10 20K
files/2026-03-03 02:08 -
metadata.xml2025-03-20 16:38 1.8K
Apache Server at bbgentoo.ilb.ru Port 80