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

NameLast modifiedSize
Parent Directory  -
Manifest2024-12-06 12:41 924
dafny-bin-4.9.0.ebuild2024-12-06 12:11 1.2K
metadata.xml2023-02-28 22:10 1.8K
Apache Server at bbgentoo.ilb.ru Port 80