Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Sun, 11 Jul 2021 16:55:44
Message-Id: 1626022501.11f8d514413da1e04e9617a91019506fd5876d4c.tupone@gentoo
1 commit: 11f8d514413da1e04e9617a91019506fd5876d4c
2 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Sun Jul 11 16:55:01 2021 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Sun Jul 11 16:55:01 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=11f8d514
7
8 package.mask: dev-lang/gnat-gpl-2016 removed from tree
9
10 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
11
12 profiles/package.mask | 5 -----
13 1 file changed, 5 deletions(-)
14
15 diff --git a/profiles/package.mask b/profiles/package.mask
16 index 1b86e736423..221b957f41c 100644
17 --- a/profiles/package.mask
18 +++ b/profiles/package.mask
19 @@ -324,11 +324,6 @@ media-gfx/povtree
20 >=dev-lang/ocaml-4.12
21 =dev-ml/camlp4-4.12
22
23 -# Alfredo Tupone <tupone@g.o> (2021-06-11)
24 -# Masked for removal in 30 days. No more supported
25 -<dev-lang/gnat-gpl-2017
26 -<dev-ada/gnat-suite-bin-2017
27 -
28 # Tomáš Mózes <hydrapolic@×××××.com> (2021-06-10)
29 # Based on unsupported grub-legacy, replaced by
30 # pvgrub2.