Index of /gentoo-portage/dev-lang/dafny/files/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
dafny-4.5.0-lit-config.patch
830 B
2024-Mar-18 07:11
dafny-3.12.0-DafnyRuntime-csproj.patch
865 B
2023-Sep-18 04:40
dafny-3.12.0-DafnyCore-csproj.patch
1022 B
2023-Sep-18 04:40