commit: da1ec5f9c2537498bfa30c4e911603bf38f42d31 Author: David Seifert <soap <AT> gentoo <DOT> org> AuthorDate: Wed Jan 18 21:07:16 2017 +0000 Commit: David Seifert <soap <AT> gentoo <DOT> org> CommitDate: Wed Jan 18 21:40:07 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=da1ec5f9
profiles: mask dev-ml/ocamlgsl for removal Closes: https://github.com/gentoo/gentoo/pull/3533 profiles/package.mask | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index 36c2f0c..e27f79c 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,11 @@ #--- END OF EXAMPLES --- +# David Seifert <[email protected]> (18 Jan 2017) +# Dead upstream, spiritual successor is dev-ml/gsl-ocaml +# Masked for removal in 30 days. Bug #574564, #593248, #601912. +dev-ml/ocamlgsl + # Michael Palimaka <[email protected]> (18 Jan 2017) # Relies on dead gstreamer:0.10. Dead upstream. # Masked for removal in 30 days. Bug #603270.
