diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2019-04-05 18:51:16 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2019-04-05 18:51:16 +0200 |
| commit | f58ffbe549793633fe91de9892b2882236b92966 (patch) | |
| tree | a30a275a00cb5a3c7138b301cf017ec29b33e344 /profiles/base | |
| parent | unmask dev-lang/polyml and sci-mathematics/isabelle (diff) | |
| download | gentoo-f58ffbe549793633fe91de9892b2882236b92966.tar.gz gentoo-f58ffbe549793633fe91de9892b2882236b92966.tar.bz2 gentoo-f58ffbe549793633fe91de9892b2882236b92966.zip | |
Trying to take care of sci-mathematics/isabelle
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'profiles/base')
| -rw-r--r-- | profiles/base/package.use.mask | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index 3fc0257b8d34..97c7a2ddd346 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 <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 |