commit: f58ffbe549793633fe91de9892b2882236b92966 Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> AuthorDate: Fri Apr 5 16:51:16 2019 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Fri Apr 5 16:51:16 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f58ffbe5
Trying to take care of sci-mathematics/isabelle Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> profiles/base/package.use.mask | 7 ------- 1 file changed, 7 deletions(-) diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index 3fc0257b8d3..97c7a2ddd34 100644 --- a/profiles/base/package.use.mask +++ b/profiles/base/package.use.mask @@ -7,13 +7,6 @@ # This file is only for generic masks. For arch-specific masks (i.e. # mask everywhere, unmask on arch/*) use arch/base. -# Michał Górny <[email protected]> (03 Apr 2019) -# sci-mathematics/isabelle is slated for removal. -sci-mathematics/cvc3 isabelle -sci-mathematics/e isabelle -sci-mathematics/kodkodi isabelle -sci-mathematics/spass isabelle - # Michał Górny <[email protected]> (31 Mar 2019) # dev-libs/grok is slated for removal. app-admin/rsyslog grok
