mirrors/gentoo-ebuilds
3
0
Fork 0
mirror of https://anongit.gentoo.org/git/repo/gentoo.git synced 2025-07-21 06:28:06 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
gentoo-ebuilds/dev-lang/dafny/files
History
Exact
…
..
dafny-3.12.0-DafnyCore-csproj.patch
dafny-3.12.0-DafnyRuntime-csproj.patch
dafny-4.5.0-lit-config.patch