commit: eb050889ab47c56c3602e65f630b069aba4d265a Author: Michał Górny <mgorny <AT> gentoo <DOT> org> AuthorDate: Sat Jun 25 21:01:36 2016 +0000 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> CommitDate: Sat Jun 25 21:02:06 2016 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eb050889
package.mask: Mask multiple dev-ml/ pkgs for removal profiles/package.mask | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index 708e0a8..8d9ca4e 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,17 @@ #--- END OF EXAMPLES --- +# Michał Górny <mgo...@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 <mgo...@gentoo.org> (23 Jun 2016) # Integrated in media-video/bashnapi. Removal in 30 days. media-video/subotage
