Index of /gentoo/gentoo-portage/dev-lang/dafny/files

• Parent Directory
• dafny-3.12.0-DafnyCore-csproj.patch
• dafny-3.12.0-DafnyRuntime-csproj.patch
• dafny-4.1.0-lit.patch
• dafny-4.2.0-lit-use-system-boogie.patch
• dafny-4.3.0-net6.0-upgrade.patch
• dafny-4.4.0-lit-config.patch
• dafny-4.4.0-lit-system-boogie.patch
• dafny-4.4.0-no-copy-jar.patch
• dafny-4.4.0-no-output-jar.patch
• dafny-4.5.0-lit-config.patch