diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2021-07-11 18:55:01 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2021-07-11 18:55:01 +0200 |
| commit | 11f8d514413da1e04e9617a91019506fd5876d4c (patch) | |
| tree | c8ae409cdacaa8e3505b392a79a0c9a0f33a8a47 | |
| parent | dev-ada/gnat-suite-bin: remove masked version (diff) | |
| download | gentoo-11f8d514413da1e04e9617a91019506fd5876d4c.tar.gz gentoo-11f8d514413da1e04e9617a91019506fd5876d4c.tar.bz2 gentoo-11f8d514413da1e04e9617a91019506fd5876d4c.zip | |
package.mask: dev-lang/gnat-gpl-2016 removed from tree
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
| -rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 1b86e7364234..221b957f41ca 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 <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. |