From f7d50a5337b2963ae494ae17b4df9f2414445a77 Mon Sep 17 00:00:00 2001
From: Davide Pesavento <pesa@gentoo.org>
Date: Wed, 21 Dec 2016 06:05:15 +0100
Subject: 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 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.
-- 
cgit v1.2.3-18-g5258