Folder Path
/
gentoo-portage
/
dev-lang
/
dafny
/
files
/
0
directories
4
files
3.4 KiB
total
List
Grid
Name
Size
Modified
Up
dafny-3.12.0-DafnyCore-csproj.patch
1022 B
03/20/2025 12:38:29 PM +00:00
dafny-3.12.0-DafnyRuntime-csproj.patch
865 B
03/20/2025 12:38:29 PM +00:00
dafny-4.11.0-lit-config.patch
801 B
08/26/2025 01:41:09 PM +00:00
dafny-4.5.0-lit-config.patch
830 B
03/20/2025 12:38:29 PM +00:00