diff options
Diffstat (limited to 'profiles/base')
| -rw-r--r-- | profiles/base/package.use.mask | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index 5b180147d446..eefc6e9eed29 100644 --- a/profiles/base/package.use.mask +++ b/profiles/base/package.use.mask @@ -7,10 +7,6 @@ # This file is only for generic masks. For arch-specific masks (i.e. # mask everywhere, unmask on arch/*) use arch/base. -# Michał Górny <mgorny@gentoo.org> (08 Dec 2018) -# Requires z3-4.7.1+ that's not packaged in Gentoo. ->=sys-devel/clang-8 z3 - # Michał Górny <mgorny@gentoo.org> (01 Dec 2018) # Moved from use.mask to specific packages. # Andreas Sturmlechner <asturm@gentoo.org> (10 May 2018) |