diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-01-21 02:09:25 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-01-21 02:09:25 +0000 |
commit | afcb9236a72cf602364c28b9bde6648e4a7f1ca5 (patch) | |
tree | 9608aa2c881b2688207832334c938f0e38d5c71c /profiles/base/package.use.mask | |
parent | d3419aa304ff2564036398be5e8ed4bdeaeaa007 (diff) |
gentoo auto-resync : 21:01:2024 - 02:09:25
Diffstat (limited to 'profiles/base/package.use.mask')
-rw-r--r-- | profiles/base/package.use.mask | 4 |
1 files changed, 4 insertions, 0 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 |