From 75df5a82d90d6451eb7059bebfedb2c935436c1b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Micha=C5=82=20G=C3=B3rny?= Date: Wed, 3 Apr 2019 11:29:13 +0200 Subject: [PATCH] profiles/base: Mask USE=isabelle everywhere MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Michał Górny --- profiles/base/package.use.mask | 7 +++++++ 1 file changed, 7 insertions(+) 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 (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 (31 Mar 2019) # dev-libs/grok is slated for removal. app-admin/rsyslog grok -- 2.26.2