diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-04-02 17:18:27 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-04-02 17:18:27 +0100 |
commit | 97310164515a0a048d4f049ae2d3e8d413fb94c6 (patch) | |
tree | fe6e0f7a81db145205e303d191864b537743bd74 /profiles/base | |
parent | f253e820eb4e6794ad484f5bc27182d236aeb41e (diff) |
gentoo auto-resync : 02:04:2023 - 17:18:27
Diffstat (limited to 'profiles/base')
-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 |