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

diff --git a/profiles/package.mask b/profiles/package.mask
index 708e0a8a07ebe6b245592fac512c81fd63275e44..8d9ca4e09226ee3448762ca07b74a74fe9d6d106 100644 (file)
--- 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