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

NameLast modifiedSize
Parent Directory  -
dafny-3.12.0-DafnyCore-csproj.patch2023-09-17 23:40 1.0K
dafny-3.12.0-DafnyRuntime-csproj.patch2023-09-17 23:40 865
dafny-4.5.0-lit-config.patch2024-03-18 02:11 830
Apache Server at bbgentoo.ilb.ru Port 80