diff options
| -rw-r--r-- | profiles/package.mask | 11 |
1 files changed, 11 insertions, 0 deletions
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 |