diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 7dad5817d0f2..ebb3ba498ed6 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,11 @@ #--- END OF EXAMPLES --- +# David Seifert <soap@gentoo.org> (27 Dec 2016) +# Fails with more recent boost, dead upstream (bug #600548). +dev-cpp/luabind +games-rpg/valyriatear + # Johannes Huber <johu@gentoo.org> (25 Dec 2016) # Masked for removal in 30 days. Dead upstream. No reverse dependencies. # No maintainer. Was introduced for media-sound/tomahwak. Uses deprecated |