From: Aaron Bauman <bman@gentoo.org>
Date: Wed, 14 Aug 2019 23:16:48 +0000 (-0400)
Subject: profiles/package.mask: update dev-java/itext mask
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=9c87d7a1665183d4daa67f4e1068c81e8b92a054;p=gentoo.git

profiles/package.mask: update dev-java/itext mask

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

diff --git a/profiles/package.mask b/profiles/package.mask
index cde6ec2a4ac7..20670faf0a2a 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -37,6 +37,10 @@ app-text/jpdftweak
 dev-util/deskzilla
 media-sound/tuxguitar
 sci-chemistry/jmol
+sci-mathematics/cvc3
+sci-mathematics/e
+sci-mathematics/kodkodi
+sci-mathematics/spass
 
 # Michał Górny <mgorny@gentoo.org> (2019-08-14)
 # No longer builds.  Homepage is gone, and its keep-alive fork is also