| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| dafny-3.12.0-DafnyCore-csproj.patch | 2025-03-20 16:38 | 1.0K |
| dafny-3.12.0-DafnyRuntime-csproj.patch | 2025-03-20 16:38 | 865 |
| dafny-4.5.0-lit-config.patch | 2025-03-20 16:38 | 830 |
| dafny-4.11.0-lit-config.patch | 2025-08-26 17:41 | 801 |