commit: 75df5a82d90d6451eb7059bebfedb2c935436c1b Author: Michał Górny <mgorny <AT> gentoo <DOT> org> AuthorDate: Wed Apr 3 09:29:13 2019 +0000 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> CommitDate: Wed Apr 3 09:31:43 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=75df5a82
profiles/base: Mask USE=isabelle everywhere Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> profiles/base/package.use.mask | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index 97c7a2ddd34..3fc0257b8d3 100644 --- a/profiles/base/package.use.mask +++ b/profiles/base/package.use.mask @@ -7,6 +7,13 @@ # 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
