commit: 11f8d514413da1e04e9617a91019506fd5876d4c Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Sun Jul 11 16:55:01 2021 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Sun Jul 11 16:55:01 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=11f8d514
package.mask: dev-lang/gnat-gpl-2016 removed from tree Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> profiles/package.mask | 5 ----- 1 file changed, 5 deletions(-) diff --git a/profiles/package.mask b/profiles/package.mask index 1b86e736423..221b957f41c 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -324,11 +324,6 @@ media-gfx/povtree >=dev-lang/ocaml-4.12 =dev-ml/camlp4-4.12 -# Alfredo Tupone <tup...@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 <hydrapo...@gmail.com> (2021-06-10) # Based on unsupported grub-legacy, replaced by # pvgrub2.