From: Michał Górny <mgorny@gentoo.org>
Date: Sat, 25 Jun 2016 21:01:36 +0000 (+0200)
Subject: package.mask: Mask multiple dev-ml/ pkgs for removal
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=eb050889ab47c56c3602e65f630b069aba4d265a;p=gentoo.git

package.mask: Mask multiple dev-ml/ pkgs for removal
---

diff --git a/profiles/package.mask b/profiles/package.mask
index 708e0a8a07eb..8d9ca4e09226 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -30,6 +30,17 @@
 
 #--- END OF EXAMPLES ---
 
+# Michał Górny <mgorny@gentoo.org> (25 Jun 2016)
+# Obsolete packages for removal in 30 days. Replacements and bugs:
+# dev-ml/comparelib -> dev-ml/ppx_compare, #586904
+# dev-ml/deriving-ocsigen -> dev-ml/deriving, #586906
+# dev-ml/faillib -> dev-ml/ppx_fail, #586912
+# dev-ml/typehashlib -- not used anymore, #586928
+dev-ml/comparelib
+dev-ml/deriving-ocsigen
+dev-ml/faillib
+dev-ml/typehashlib
+
 # Michał Górny <mgorny@gentoo.org> (23 Jun 2016)
 # Integrated in media-video/bashnapi. Removal in 30 days.
 media-video/subotage