summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2017-02-19 16:37:07 +0100
committerDavid Seifert <soap@gentoo.org>2017-02-19 16:37:07 +0100
commitbfd2150a89a1cc25dd780ec808ed1e795d1d6280 (patch)
tree11a4e406aec69901a070d271c559c4d2b53b58af /profiles
parentxfce-extra/xfce4-mount-plugin: Restore manifest change for metadata regen (diff)
downloadgentoo-bfd2150a89a1cc25dd780ec808ed1e795d1d6280.tar.gz
gentoo-bfd2150a89a1cc25dd780ec808ed1e795d1d6280.tar.bz2
gentoo-bfd2150a89a1cc25dd780ec808ed1e795d1d6280.zip
dev-ml/ocamlgsl: Remove from tree
Diffstat (limited to 'profiles')
-rw-r--r--profiles/package.mask5
1 files changed, 0 insertions, 5 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index 65937a4a4194..a8c1d7d21445 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -490,11 +490,6 @@ x11-themes/nitrogen
x11-themes/skulpture
x11-themes/smaragd
-# David Seifert <soap@gentoo.org> (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
-
# Yixun Lan <dlan@gentoo.org> (16 Jan 2017)
# Masked, Vulnerable due to RGW Denial of Service (bug #598206)
# We mask it instead of removing them, due user may need them while