diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-04-02 13:21:06 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-04-02 13:25:29 +0200 |
| commit | ec4e1dc4b0a2d93b25dc79ca3b06da2809409974 (patch) | |
| tree | 1c639eacb9a5dc0062522e8a14acf115ddbae310 /profiles | |
| parent | www-apps/roundup: add 2.2.0 (diff) | |
| download | gentoo-ec4e1dc4b0a2d93b25dc79ca3b06da2809409974.tar.gz gentoo-ec4e1dc4b0a2d93b25dc79ca3b06da2809409974.tar.bz2 gentoo-ec4e1dc4b0a2d93b25dc79ca3b06da2809409974.zip | |
profiles/base: mask doc for sci-mathematics/why3-for-spark
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/base/package.use.stable.mask | 4 |
1 files changed, 4 insertions, 0 deletions
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 <tupone@gentoo.org> (2023-04-02) +# For doc, dev-python/sphinxcontrib-bibtex is required +sci-mathematics/why3-for-spark doc + # Daniel Pielmeier <billie@gentoo.org> (2023-03-04) # For docs, app-text/pandoc is required. For details see: # Bug #737612 |