diff options
Diffstat (limited to 'profiles/package.mask')
-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 7ab0d67a804b..b43f850b8017 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -32,6 +32,11 @@ #--- END OF EXAMPLES --- +# Alfredo Tupone <tupone@gentoo.org> (2021-06-11) +# Masked for removal in 30 days. No more supported +<dev-lang/gnat-gpl-2017 +<dev-ada/gnat-suite-bin-2017 + # Tomáš Mózes <hydrapolic@gmail.com> (2021-06-10) # Based on unsupported grub-legacy, replaced by # pvgrub2. |