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: Fri, 01 Jan 2021 10:21:59
Message-Id: 1609496470.5d354dbf3fae6b58eb970d338f56a3abd41f58fc.tupone@gentoo
1 commit: 5d354dbf3fae6b58eb970d338f56a3abd41f58fc
2 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Fri Jan 1 10:21:10 2021 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Fri Jan 1 10:21:10 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5d354dbf
7
8 package.mask: remove gnatcoll-bindings from last rite
9
10 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
11
12 profiles/package.mask | 1 -
13 1 file changed, 1 deletion(-)
14
15 diff --git a/profiles/package.mask b/profiles/package.mask
16 index 2b019bf39ed..312802b95fb 100644
17 --- a/profiles/package.mask
18 +++ b/profiles/package.mask
19 @@ -421,7 +421,6 @@ dev-ada/langkit
20 dev-ada/libadalang
21 dev-ada/libadalang-tools
22 dev-ada/gps
23 -dev-ada/gnatcoll-bindings
24 dev-ada/gnatcoll-db
25
26 # Mart Raudsepp <leio@g.o> (2020-08-15)