diff options
author | Aaron Bauman <bman@gentoo.org> | 2019-08-14 19:16:48 -0400 |
---|---|---|
committer | Aaron Bauman <bman@gentoo.org> | 2019-08-14 19:17:09 -0400 |
commit | 9c87d7a1665183d4daa67f4e1068c81e8b92a054 (patch) | |
tree | e4ec1ec3e6a481b1542d5d00e70c35228bc2f3e1 | |
parent | net-proxy/sshuttle: add missing conditional test RESTRICT (diff) | |
download | gentoo-9c87d7a1665183d4daa67f4e1068c81e8b92a054.tar.gz gentoo-9c87d7a1665183d4daa67f4e1068c81e8b92a054.tar.bz2 gentoo-9c87d7a1665183d4daa67f4e1068c81e8b92a054.zip |
profiles/package.mask: update dev-java/itext mask
Signed-off-by: Aaron Bauman <bman@gentoo.org>
-rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 4 insertions, 0 deletions
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 |