diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-04-03 11:29:13 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-04-03 11:31:43 +0200 |
commit | 75df5a82d90d6451eb7059bebfedb2c935436c1b (patch) | |
tree | 19befec32814261d91d0a28ad8c878ee4e14c854 /profiles/base | |
parent | package.mask: Revert "Last rite dev-lang/polyml" (diff) | |
download | gentoo-75df5a82d90d6451eb7059bebfedb2c935436c1b.tar.gz gentoo-75df5a82d90d6451eb7059bebfedb2c935436c1b.tar.bz2 gentoo-75df5a82d90d6451eb7059bebfedb2c935436c1b.zip |
profiles/base: Mask USE=isabelle everywhere
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles/base')
-rw-r--r-- | profiles/base/package.use.mask | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index 97c7a2ddd346..3fc0257b8d34 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 <mgorny@gentoo.org> (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 <mgorny@gentoo.org> (31 Mar 2019) # dev-libs/grok is slated for removal. app-admin/rsyslog grok |