diff options
author | 2017-02-19 16:37:07 +0100 | |
---|---|---|
committer | 2017-02-19 16:37:07 +0100 | |
commit | bfd2150a89a1cc25dd780ec808ed1e795d1d6280 (patch) | |
tree | 11a4e406aec69901a070d271c559c4d2b53b58af /profiles | |
parent | xfce-extra/xfce4-mount-plugin: Restore manifest change for metadata regen (diff) | |
download | gentoo-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.mask | 5 |
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 |