millerson.name/gentoo
2
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 00:05:54 +03:00
Code Packages Projects Releases Wiki Activity
Files
1c9d68bafec9f305b0707cbb9d3100dbd7b68287
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
…
Manifest
…
metadata.xml
…