Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[TXT]](/icons/text.gif){kind=icon} | dafny-3.12.0-DafnyCore-csproj.patch | 2023-09-17 20:40 | 1.0K |
| dafny-3.12.0-DafnyRuntime-csproj.patch | 2023-09-17 20:40 | 865 |
| dafny-4.5.0-lit-config.patch | 2024-03-17 22:11 | 830 |
Public Mirrors