gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-07-29 22:28:08 -07:00
Code Issues Projects Releases Wiki Activity
Files
3eef8a2dfea4bda8ea3e245ede40edebcaa4e0f6
gentoo/dev-lang/dafny-bin
History
Maciej Barć 5dc26d661c dev-lang/dafny-bin: drop old 4.9.1 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-03-15 20:55:36 +01:00
..
dafny-bin-4.10.0.ebuild
dev-lang/dafny-bin: Stabilize 4.10.0 amd64, #951434
2025-03-15 20:17:02 +02:00
Manifest
dev-lang/dafny-bin: drop old 4.9.1
2025-03-15 20:55:36 +01:00
metadata.xml
…