diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-07-05 16:04:13 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-07-05 16:05:49 +0200 |
commit | 8e8639e3e9a4460c38a180bd0358230f409bc52c (patch) | |
tree | d655738c5368c855019a548e6b100a46dab94d84 /profiles | |
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')
-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 61ae87f53997..d81573ac52df 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. |