diff options
Diffstat (limited to 'profiles/base')
-rw-r--r-- | profiles/base/package.use.mask | 4 | ||||
-rw-r--r-- | profiles/base/package.use.stable.mask | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index 922a2fed358d..b79dea91f2cb 100644 --- a/profiles/base/package.use.mask +++ b/profiles/base/package.use.mask @@ -6,6 +6,10 @@ # This file is only for generic masks. For arch-specific masks (i.e. # mask everywhere, unmask on arch/*) use arch/base. +# Alfredo Tupone <tupone@gentoo.org> (2024-01-20) +# Not working, bug #890756 +sci-mathematics/why3-for-spark doc + # Arthur Zamarin <arthurzam@gentoo.org> (2023-12-22) # Requires sys-block/hpacucli net-analyzer/nagios-plugin-check_raid hpa diff --git a/profiles/base/package.use.stable.mask b/profiles/base/package.use.stable.mask index 1c3d7d94e2de..e085e0dbed80 100644 --- a/profiles/base/package.use.stable.mask +++ b/profiles/base/package.use.stable.mask @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 # This file requires eapi 5 or later. New entries go on top. @@ -21,10 +21,6 @@ dev-lang/python-exec -python_targets_python3_12 # xfce-base/libxfce4windowing is not ready to go stable (4.19 branch). xfce-extra/xfce4-pulseaudio-plugin libxfce4windowing -# 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 |