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

NameLast modifiedSize
Parent Directory  -
Manifest2026-03-14 22:08 128K
dafny-4.11.0.ebuild2025-10-03 23:10 20K
files/2026-04-14 02:08 -
metadata.xml2025-03-20 16:38 1.8K
Apache Server at bbgentoo.ilb.ru Port 80