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/boogie
History
Maciej Barć f87199b910
dev-lang/boogie: bump to 3.5.6 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-12-13 01:10:19 +01:00
..
files
…
boogie-3.5.5-r1.ebuild
dev-lang/boogie: bump DOTNET_PKG_COMPAT to 10.0
2025-11-16 21:30:58 +01:00
boogie-3.5.5.ebuild
dev-lang/boogie: Stabilize 3.5.5 amd64, #962631
2025-09-13 02:25:40 +01:00
boogie-3.5.6.ebuild
dev-lang/boogie: bump to 3.5.6
2025-12-13 01:10:19 +01:00
Manifest
dev-lang/boogie: bump to 3.5.6
2025-12-13 01:10:19 +01:00
metadata.xml
…