summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'profiles/base/package.use.mask')
-rw-r--r--profiles/base/package.use.mask4
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)