From f58ffbe549793633fe91de9892b2882236b92966 Mon Sep 17 00:00:00 2001
From: Tupone Alfredo <tupone@gentoo.org>
Date: Fri, 5 Apr 2019 18:51:16 +0200
Subject: [PATCH] Trying to take care of sci-mathematics/isabelle

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
---
 profiles/base/package.use.mask | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask
index 3fc0257b8d34..97c7a2ddd346 100644
--- a/profiles/base/package.use.mask
+++ b/profiles/base/package.use.mask
@@ -7,13 +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> (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
-- 
2.26.2