From: Aaron Bauman <bman@gentoo.org>
Date: Thu, 15 Aug 2019 00:39:22 +0000 (-0400)
Subject: profiles/package.mask: for real now
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=2b7490f9cfda1b7125e3b3e4fe5790e4f491b4da;p=gentoo.git

profiles/package.mask: for real now

Signed-off-by: Aaron Bauman <bman@gentoo.org>
---

diff --git a/profiles/package.mask b/profiles/package.mask
index 20670faf0a2a..294adf4d403d 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -36,6 +36,7 @@ dev-java/itext
 app-text/jpdftweak
 dev-util/deskzilla
 media-sound/tuxguitar
+sci-mathematics/isabelle
 sci-chemistry/jmol
 sci-mathematics/cvc3
 sci-mathematics/e