Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
dafny-3.12.0-DafnyCore-csproj.patch | 2023-09-18 01:10 | 1.0K | ||
dafny-3.12.0-DafnyRuntime-csproj.patch | 2023-09-18 01:10 | 865 | ||
dafny-4.1.0-lit.patch | 2023-09-18 01:10 | 329 | ||
dafny-4.2.0-lit-use-system-boogie.patch | 2023-09-18 01:10 | 531 | ||