diff options
author | 2019-11-03 14:31:54 +0000 | |
---|---|---|
committer | 2019-11-03 14:33:58 +0000 | |
commit | 588489c7687771b6d792c0b1ba0bcfb10da0004d (patch) | |
tree | 68020eac87c19de729656207352c34b3f5202d20 /profiles | |
parent | dev-dotnet/pe-format: Bump to EAPI 7 (diff) | |
download | gentoo-588489c7687771b6d792c0b1ba0bcfb10da0004d.tar.gz gentoo-588489c7687771b6d792c0b1ba0bcfb10da0004d.tar.bz2 gentoo-588489c7687771b6d792c0b1ba0bcfb10da0004d.zip |
package.mask: Remove obsolete entries
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'profiles')
-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 a58a96cbad60..a7ba23aa8211 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,11 @@ #--- END OF EXAMPLES --- +# Alfredo Tupone <tupone@gentoo.org> (2019-11-03) +# The binary for gps are included in dev-ada/gnat-suite-bin +# Removal in 30 days. +dev-ada/gps-bin + # Michał Górny <mgorny@gentoo.org> (2019-11-01) # Both make no sense with dev-embedded/gnap removed. # Removal in 14 days. Bug #699072. |