diff options
Diffstat (limited to 'profiles/package.use.mask')
-rw-r--r-- | profiles/package.use.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/package.use.mask b/profiles/package.use.mask index 044007cb9..95d7ff572 100644 --- a/profiles/package.use.mask +++ b/profiles/package.use.mask @@ -16,6 +16,10 @@ ## =media-video/mplayer-0.90_pre5-r1 foo # +# Justin Lecher <jlec@gntoo.org> (04 Jan 2014) +# sci-libs/parmetis-4* is masked +sci-libs/dealii metis + # Christoph Junghans <ottxor@gentoo.org> (05 Nov 2013) # gui sandbox error dev-lang/conceptual gui |