diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2017-07-05 15:56:10 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2017-07-05 16:05:43 +0200 |
| commit | d9c05156bbeb604f157014a9e7b6dac1e6fbe8f8 (patch) | |
| tree | 4699e9001c11f87d107e0cb8cdcfb9f950be94e9 /profiles | |
| parent | dev-dotnet/art-sharp: Remove last-rited pkg (diff) | |
| download | gentoo-d9c05156bbeb604f157014a9e7b6dac1e6fbe8f8.tar.gz gentoo-d9c05156bbeb604f157014a9e7b6dac1e6fbe8f8.tar.bz2 gentoo-d9c05156bbeb604f157014a9e7b6dac1e6fbe8f8.zip | |
dev-dotnet/gnome-sharp: Remove old (split) version
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 152ac1f5cc33..9773e36be0ff 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -234,7 +234,6 @@ 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, -# - >=dev-dotnet/gnome-sharp-2.24.2-r1. # Removal in 14 days. <dev-dotnet/gtk-sharp-2.12.21 dev-dotnet/atk-sharp @@ -245,7 +244,6 @@ dev-dotnet/gtk-dotnet-sharp dev-dotnet/gtk-sharp-docs dev-dotnet/gtk-sharp-gapi dev-dotnet/pango-sharp -<dev-dotnet/gnome-sharp-2.24.2-r1 # Michał Górny <mgorny@gentoo.org> (05 Jun 2017) # (on behalf of Treecleaner project) |