Index of /gentoo-portage/dev-lang/dafny/files/
Name
Size
Date
📁 ../
-
-
📄 dafny-3.12.0-DafnyRuntime-csproj.patch
865 bytes
2025-03-20 12:38:29
📄 dafny-4.11.0-lit-config.patch
801 bytes
2025-08-26 13:41:09