/gentoo/gentoo-portage/dev-lang/dafny/files/

0 directories 3 files
List Grid
Name
Size Modified
Up
dafny-3.12.0-DafnyCore-csproj.patch
1022 B
dafny-3.12.0-DafnyRuntime-csproj.patch
865 B
dafny-4.5.0-lit-config.patch
830 B