millerson.name/gentoo
2
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-09 00:07:57 +03:00
Code Issues Packages Projects Releases Wiki Activity
gentoo/dev-lang/dafny-bin
History
Sam James b26324ac01
dev-lang/dafny-bin: Stabilize 4.11.0-r1 amd64, #965803 
Signed-off-by: Sam James <sam@gentoo.org>
2025-11-07 19:11:08 +00:00
..
dafny-bin-4.10.0-r1.ebuild
…
dafny-bin-4.11.0-r1.ebuild
…
Manifest
…
metadata.xml
…