commit:     ec4e1dc4b0a2d93b25dc79ca3b06da2809409974
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Apr  2 11:21:06 2023 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Apr  2 11:25:29 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ec4e1dc4

profiles/base: mask doc for sci-mathematics/why3-for-spark

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 profiles/base/package.use.stable.mask | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/profiles/base/package.use.stable.mask 
b/profiles/base/package.use.stable.mask
index a431476297e3..88f8c4fb49df 100644
--- a/profiles/base/package.use.stable.mask
+++ b/profiles/base/package.use.stable.mask
@@ -4,6 +4,10 @@
 # This file requires eapi 5 or later. New entries go on top.
 # Please use the same syntax as in package.use.mask
 
+# Alfredo Tupone <tup...@gentoo.org> (2023-04-02)
+# For doc, dev-python/sphinxcontrib-bibtex is required
+sci-mathematics/why3-for-spark doc
+
 # Daniel Pielmeier <bil...@gentoo.org> (2023-03-04)
 # For docs, app-text/pandoc is required. For details see:
 # Bug #737612

Reply via email to