millerson.name/gentoo
2
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-08 00:05:33 +03:00
Code Issues Packages Projects Releases Wiki Activity
gentoo/dev-lang/boogie
History
Maciej Barć ac78052535
dev-lang/boogie: bump DOTNET_PKG_COMPAT to 10.0 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-11-16 21:30:58 +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
…
Manifest
…
metadata.xml
…