../ dafny-3.12.0-DafnyCore-csproj.patch 17-Sep-2023 19:40 1022 dafny-3.12.0-DafnyRuntime-csproj.patch 17-Sep-2023 19:40 865 dafny-4.1.0-lit.patch 17-Sep-2023 19:40 329 dafny-4.2.0-lit-use-system-boogie.patch 17-Sep-2023 19:40 531 dafny-4.3.0-net6.0-upgrade.patch 30-Oct-2023 23:40 949