From da1ec5f9c2537498bfa30c4e911603bf38f42d31 Mon Sep 17 00:00:00 2001 From: David Seifert Date: Wed, 18 Jan 2017 22:07:16 +0100 Subject: 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 36c2f0c2e643..e27f79ce1c06 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,11 @@ #--- END OF EXAMPLES --- +# David Seifert (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 (18 Jan 2017) # Relies on dead gstreamer:0.10. Dead upstream. # Masked for removal in 30 days. Bug #603270. -- cgit v1.2.3-65-gdbad