Hello! Sorry, I forgot to announce this last-rite on [email protected]. This is a commit from a week ago.
# Maciej Barć <[email protected]> (2025-06-14) # Deprecated, repository archived upstream. Compilation problems. # Removal on 2025-07-14. bug #957435 sci-mathematics/boolector -- Have a great day! ~ Maciej Barć https://wiki.gentoo.org/wiki/User:Xgqt 9B0A 4C5D 02A3 B43C 9D6F D6B1 14D7 4A1F 43A6 AC3
OpenPGP_0x14D74A1F43A6AC3C.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature
