diff options
| -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. |