From: Davide Pesavento <pesa@gentoo.org>
Date: Wed, 21 Dec 2016 05:05:15 +0000 (+0100)
Subject: profiles: mask dev-util/eric:5 for removal
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=f7d50a5337b2963ae494ae17b4df9f2414445a77;p=gentoo.git

profiles: mask dev-util/eric:5 for removal
---

diff --git a/profiles/package.mask b/profiles/package.mask
index dbea79154f65..755b8ea61aa5 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -30,6 +30,12 @@
 
 #--- END OF EXAMPLES ---
 
+# Davide Pesavento <pesa@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 <soap@gentoo.org> (20 Dec 2016)
 # Masked for being completely broken and unusable (bug 586356).
 # No reverse dependencies. Masked for removal in 30 days.