diff options
| author |   David Seifert <soap@gentoo.org> | 2017-01-18 22:07:16 +0100 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2017-01-18 22:40:07 +0100 |
| commit | da1ec5f9c2537498bfa30c4e911603bf38f42d31 (patch) | |
| tree | b73949cb787d8d0737c238805b42f9e9f89112f8 | |
| parent | sci-misc/flashdot: Remove old (diff) | |
| download | gentoo-da1ec5f9c2537498bfa30c4e911603bf38f42d31.tar.gz gentoo-da1ec5f9c2537498bfa30c4e911603bf38f42d31.tar.bz2 gentoo-da1ec5f9c2537498bfa30c4e911603bf38f42d31.zip | |
profiles: mask dev-ml/ocamlgsl for removal
Closes: https://github.com/gentoo/gentoo/pull/3533
| -rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
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 <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 + # Michael Palimaka <kensington@gentoo.org> (18 Jan 2017) # Relies on dead gstreamer:0.10. Dead upstream. # Masked for removal in 30 days. Bug #603270. |