commit: ae6f5f7b48a1a4ff88a722dd514bb31f012c54bb Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Thu Mar 10 21:05:19 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Thu Mar 10 21:08:35 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ae6f5f7b
profiles/arch/powerpc/ppc32: mask >=sci-mathematics/coq-8.15.0[doc] Bug: https://bugs.gentoo.org/750956 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> profiles/arch/powerpc/ppc32/package.use.mask | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/profiles/arch/powerpc/ppc32/package.use.mask b/profiles/arch/powerpc/ppc32/package.use.mask index 00fe5d19a2df..3f2cfd9422ea 100644 --- a/profiles/arch/powerpc/ppc32/package.use.mask +++ b/profiles/arch/powerpc/ppc32/package.use.mask @@ -1,6 +1,12 @@ # Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 +# Maciej Barć <[email protected]> (2022-03-10) +# Java and Tex dependencies required to build documentation are not keyworded, +# notably dev-java/antlr-tool and dev-python/sphinxcontrib-bibtex. +# Reference: bug 750956 +>=sci-mathematics/coq-8.15.0 doc + # Sam James <[email protected]> (2022-03-10) # Boost has support for PPC32 # https://www.boost.org/doc/libs/1_78_0/libs/context/doc/html/context/architectures.html
