../ dafny-3.12.0-DafnyCore-csproj.patch 17-Sep-2023 14:40 1022 dafny-3.12.0-DafnyRuntime-csproj.patch 17-Sep-2023 14:40 865 dafny-4.4.0-lit-config.patch 12-Dec-2023 21:40 421 dafny-4.4.0-lit-system-boogie.patch 12-Dec-2023 21:40 623 dafny-4.5.0-lit-config.patch 17-Mar-2024 17:11 830