summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2017-07-05 16:04:13 +0200
committerMichał Górny <mgorny@gentoo.org>2017-07-05 16:05:49 +0200
commit8e8639e3e9a4460c38a180bd0358230f409bc52c (patch)
treed655738c5368c855019a548e6b100a46dab94d84 /profiles/package.mask
parentdev-dotnet/atk-sharp: Remove last-rited pkg (diff)
downloadgentoo-8e8639e3e9a4460c38a180bd0358230f409bc52c.tar.gz
gentoo-8e8639e3e9a4460c38a180bd0358230f409bc52c.tar.bz2
gentoo-8e8639e3e9a4460c38a180bd0358230f409bc52c.zip
dev-dotnet/gtk-sharp: Remove old (split) version
Diffstat (limited to 'profiles/package.mask')
-rw-r--r--profiles/package.mask8
1 files changed, 0 insertions, 8 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index 61ae87f5399..d81573ac52d 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -232,14 +232,6 @@ app-editors/fb2edit
app-text/7plus
# Michał Górny <mgorny@gentoo.org> (05 Jun 2017)
-# Mask split *-sharp packages for removal. Replaced by combined:
-# - >=dev-dotnet/gtk-sharp-2.12.21,
-# Removal in 14 days.
-<dev-dotnet/gtk-sharp-2.12.21
-dev-dotnet/gtk-dotnet-sharp
-dev-dotnet/gtk-sharp-docs
-
-# Michał Górny <mgorny@gentoo.org> (05 Jun 2017)
# (on behalf of Treecleaner project)
# Unmaintained in Gentoo. The current Gentoo version no longer builds.
# Removal in 30 days. Bug #602820.