diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2016-06-25 23:01:36 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2016-06-25 23:02:06 +0200 |
| commit | eb050889ab47c56c3602e65f630b069aba4d265a (patch) | |
| tree | 1040cf6dba1a8d2910c1b20f0e306722285b13bd /profiles | |
| parent | dev-ml/pomap: Move stable kw for minor dep change, #586924 (diff) | |
| download | gentoo-eb050889ab47c56c3602e65f630b069aba4d265a.tar.gz gentoo-eb050889ab47c56c3602e65f630b069aba4d265a.tar.bz2 gentoo-eb050889ab47c56c3602e65f630b069aba4d265a.zip | |
package.mask: Mask multiple dev-ml/ pkgs for removal
Diffstat (limited to 'profiles')
| -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 |