File Name | File Size | Date |
---|---|---|
Parent directory/ | - | - |
dafny-3.12.0-DafnyCore-csproj.patch | 1022 | 17-Sep-2023 19:40 |
dafny-3.12.0-DafnyRuntime-csproj.patch | 865 | 17-Sep-2023 19:40 |
dafny-4.4.0-lit-config.patch | 421 | 13-Dec-2023 02:40 |
dafny-4.4.0-lit-system-boogie.patch | 623 | 13-Dec-2023 02:40 |
dafny-4.5.0-lit-config.patch | 830 | 17-Mar-2024 22:11 |