commit: 58a0c36cdf5f99edb853f94b4990688de0dab1a7 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sat Jun 14 14:11:33 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sat Jun 14 14:20:10 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=58a0c36c
profiles/package.mask: mask boolector Bug: https://bugs.gentoo.org/957435 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> profiles/package.mask | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index d1c1e4e04e63..f135039129fe 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -36,6 +36,11 @@ #--- END OF EXAMPLES --- +# Maciej Barć <[email protected]> (2025-06-14) +# Deprecated, repository archived upstream. Compilation problems. +# Removal on 2025-07-14. bug #957435 +sci-mathematics/boolector + # Sam James <[email protected]> (2025-06-12) # Breaks several applications (bug #957943) >=dev-python/pygobject-3.52
