diff options
author | 2017-07-05 16:04:13 +0200 | |
---|---|---|
committer | 2017-07-05 16:05:49 +0200 | |
commit | 8e8639e3e9a4460c38a180bd0358230f409bc52c (patch) | |
tree | d655738c5368c855019a548e6b100a46dab94d84 /profiles/package.mask | |
parent | dev-dotnet/atk-sharp: Remove last-rited pkg (diff) | |
download | gentoo-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.mask | 8 |
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. |