PublicArchive/gentoo
2
0
Fork 0
mirror of https://anongit.gentoo.org/git/repo/gentoo.git synced 2026-05-06 07:27:03 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
90bbf7d3bca2c3263c0c8e64a37249f33c4bc8f2
gentoo/dev-lang/dafny
T
History
Maciej Barć aa01d2cad2 dev-lang/dafny: drop old 4.10.0 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2026-03-14 19:02:59 +01:00
..
files
…
dafny-4.11.0.ebuild
…
Manifest
…
metadata.xml
…