gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-23 18:38:08 -07:00
Code Issues Projects Releases Wiki Activity
Files
a94bb8dcc4c03c4e2ec4f34b562535d8ccecfb5f
gentoo/dev-lang/dafny-bin
History
Maciej Barć e068d55c4a dev-lang/dafny-bin: bump to 4.9.1 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2024-12-27 19:51:48 +01:00
..
dafny-bin-4.9.0.ebuild
dev-lang/dafny-bin: Stabilize 4.9.0 amd64, #945928
2024-12-06 07:47:40 +00:00
dafny-bin-4.9.1.ebuild
dev-lang/dafny-bin: bump to 4.9.1
2024-12-27 19:51:48 +01:00
Manifest
dev-lang/dafny-bin: bump to 4.9.1
2024-12-27 19:51:48 +01:00
metadata.xml
…