From: Michał Górny <mgorny@gentoo.org>
Date: Wed, 3 Apr 2019 09:29:13 +0000 (+0200)
Subject: profiles/base: Mask USE=isabelle everywhere
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=75df5a82d90d6451eb7059bebfedb2c935436c1b;p=gentoo.git

profiles/base: Mask USE=isabelle everywhere

Signed-off-by: Michał Górny <mgorny@gentoo.org>
---

diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask
index 97c7a2ddd346..3fc0257b8d34 100644
--- a/profiles/base/package.use.mask
+++ b/profiles/base/package.use.mask
@@ -7,6 +7,13 @@
 # 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> (03 Apr 2019)
+# sci-mathematics/isabelle is slated for removal.
+sci-mathematics/cvc3 isabelle
+sci-mathematics/e isabelle
+sci-mathematics/kodkodi isabelle
+sci-mathematics/spass isabelle
+
 # Michał Górny <mgorny@gentoo.org> (31 Mar 2019)
 # dev-libs/grok is slated for removal.
 app-admin/rsyslog grok