commit: f7d50a5337b2963ae494ae17b4df9f2414445a77 Author: Davide Pesavento <pesa <AT> gentoo <DOT> org> AuthorDate: Wed Dec 21 05:05:15 2016 +0000 Commit: Davide Pesavento <pesa <AT> gentoo <DOT> org> CommitDate: Wed Dec 21 05:05:15 2016 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f7d50a53
profiles: mask dev-util/eric:5 for removal profiles/package.mask | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index dbea791..755b8ea 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,12 @@ #--- END OF EXAMPLES --- +# Davide Pesavento <p...@gentoo.org> (21 Dec 2016) +# Fails to install (bug 587376 and 584988), upstream stopped maintaining +# the 5.x release series 2 years ago. Use dev-util/eric:6 instead. +# Masked for removal in 14 days. +dev-util/eric:5 + # David Seifert <s...@gentoo.org> (20 Dec 2016) # Masked for being completely broken and unusable (bug 586356). # No reverse dependencies. Masked for removal in 30 days.
