summaryrefslogtreecommitdiff
path: root/profiles/base
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-01-21 02:09:25 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-01-21 02:09:25 +0000
commitafcb9236a72cf602364c28b9bde6648e4a7f1ca5 (patch)
tree9608aa2c881b2688207832334c938f0e38d5c71c /profiles/base
parentd3419aa304ff2564036398be5e8ed4bdeaeaa007 (diff)
gentoo auto-resync : 21:01:2024 - 02:09:25
Diffstat (limited to 'profiles/base')
-rw-r--r--profiles/base/package.use.mask4
-rw-r--r--profiles/base/package.use.stable.mask6
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