commit: 9c87d7a1665183d4daa67f4e1068c81e8b92a054 Author: Aaron Bauman <bman <AT> gentoo <DOT> org> AuthorDate: Wed Aug 14 23:16:48 2019 +0000 Commit: Aaron Bauman <bman <AT> gentoo <DOT> org> CommitDate: Wed Aug 14 23:17:09 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9c87d7a1
profiles/package.mask: update dev-java/itext mask Signed-off-by: Aaron Bauman <bman <AT> gentoo.org> profiles/package.mask | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index cde6ec2a4ac..20670faf0a2 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 <[email protected]> (2019-08-14) # No longer builds. Homepage is gone, and its keep-alive fork is also
