Gentoo Archives: gentoo-commits

From: Mikle Kolyada <zlogene@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq/
Date: Mon, 04 Nov 2019 14:38:39
Message-Id: 1572878302.5dffc8ac72841d4f802ad6a887b33dfa27be0448.zlogene@gentoo
1 commit: 5dffc8ac72841d4f802ad6a887b33dfa27be0448
2 Author: Mikle Kolyada <zlogene <AT> gentoo <DOT> org>
3 AuthorDate: Mon Nov 4 14:38:22 2019 +0000
4 Commit: Mikle Kolyada <zlogene <AT> gentoo <DOT> org>
5 CommitDate: Mon Nov 4 14:38:22 2019 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5dffc8ac
7
8 sci-mathematics/coq: forward keywords again (forgotten)
9
10 Package-Manager: Portage-2.3.76, Repoman-2.3.16
11 Signed-off-by: Mikle Kolyada <zlogene <AT> gentoo.org>
12
13 sci-mathematics/coq/coq-8.6.1-r1.ebuild | 2 +-
14 1 file changed, 1 insertion(+), 1 deletion(-)
15
16 diff --git a/sci-mathematics/coq/coq-8.6.1-r1.ebuild b/sci-mathematics/coq/coq-8.6.1-r1.ebuild
17 index 2c9f5df9141..955cc400bc2 100644
18 --- a/sci-mathematics/coq/coq-8.6.1-r1.ebuild
19 +++ b/sci-mathematics/coq/coq-8.6.1-r1.ebuild
20 @@ -14,7 +14,7 @@ SRC_URI="http://${PN}.inria.fr/distrib/V${MY_PV}/files/${MY_P}.tar.gz"
21
22 LICENSE="LGPL-2.1"
23 SLOT="0"
24 -KEYWORDS="~amd64 ~ppc ~x86"
25 +KEYWORDS="amd64 ppc x86"
26 IUSE="gtk debug +ocamlopt doc camlp5"
27
28 RDEPEND="