files

0 directories 3 files

Name	Size	Modified
Up
dafny-3.12.0-DafnyCore-csproj.patch	1022 B	09/17/2023 07:40:39 PM +00:00
dafny-3.12.0-DafnyRuntime-csproj.patch	865 B	09/17/2023 07:40:39 PM +00:00
dafny-4.5.0-lit-config.patch	830 B	03/17/2024 10:11:04 PM +00:00