commit: 590d2f076d95c322f103015f82cb9ddf8136d23c Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Tue May 31 16:10:50 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Tue May 31 16:12:45 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=590d2f07
profiles/base/package.use.mask: mask >=sci-mathematics/coq-8.15.0[doc] Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> profiles/base/package.use.mask | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index ac789454f4c1..a3943b07b97b 100644 --- a/profiles/base/package.use.mask +++ b/profiles/base/package.use.mask @@ -6,6 +6,12 @@ # This file is only for generic masks. For arch-specific masks (i.e. # mask everywhere, unmask on arch/*) use arch/base. +# Maciej Barć <[email protected]> (2022-05-31) +# "doc" require old version of dev-python/antlr4-python3-runtime (4.9.3) +# and dev-python/sphinx (4.4.0), both already removed from the repository tree +# Upstream bug: https://github.com/coq/coq/issues/15956 +>=sci-mathematics/coq-8.15.0 doc + # Stephan Hartmann <[email protected]> (2022-05-29) # Not ready for general use. >=www-client/chromium-104 pgo
