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
History
Exact
Maciej Barć 7b9674031f
dev-lang/dafny: drop old 4.9.1 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-05-16 22:38:08 +02:00
..
files
dafny-4.10.0.ebuild
Manifest dev-lang/dafny: drop old 4.9.1 2025-05-16 22:38:08 +02:00
metadata.xml