commit: 2b7490f9cfda1b7125e3b3e4fe5790e4f491b4da Author: Aaron Bauman <bman <AT> gentoo <DOT> org> AuthorDate: Thu Aug 15 00:39:22 2019 +0000 Commit: Aaron Bauman <bman <AT> gentoo <DOT> org> CommitDate: Thu Aug 15 00:39:37 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2b7490f9
profiles/package.mask: for real now Signed-off-by: Aaron Bauman <bman <AT> gentoo.org> profiles/package.mask | 1 + 1 file changed, 1 insertion(+) diff --git a/profiles/package.mask b/profiles/package.mask index 20670faf0a2..294adf4d403 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
