Index of mirrors/gentoo-portage/dev-lang/dafny/files
Name ▴ Size Last Modified
../ - -
dafny-3.12.0-DafnyRuntime-csproj.patch 865 B 2025-03-20 12:38
dafny-4.11.0-lit-config.patch 801 B 2025-08-26 13:41
2 items, 1.6 KB total