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

Name	Last modified	Size

Parent Directory		-
dafny-3.12.0-DafnyRuntime-csproj.patch	2025-03-20 16:38	865
dafny-4.11.0-lit-config.patch	2025-08-26 17:41	801

Apache Server at bbgentoo.ilb.ru Port 80