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-01-01 02:11 -
metadata.xml2025-03-20 16:38 1.8K
Apache Server at bbgentoo.ilb.ru Port 80