gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-21 09:07:26 -08:00
Code Issues Projects Releases Wiki Activity
gentoo/dev-lang/dafny
History
Arthur Zamarin 0aed8c7e95
dev-lang/dafny: Stabilize 4.11.0 amd64, #963713 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2025-10-03 22:02:30 +03:00
..
files
…
dafny-4.10.0.ebuild
…
dafny-4.11.0.ebuild
dev-lang/dafny: Stabilize 4.11.0 amd64, #963713
2025-10-03 22:02:30 +03:00
Manifest
…
metadata.xml
…