Gentoo Archives: gentoo-commits

From: Sam James <sam@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
Date: Wed, 13 Oct 2021 20:35:24
Message-Id: 1634157283.504b1acd9c10ecd33a1d2566554670427f1cfcad.sam@gentoo
1 commit: 504b1acd9c10ecd33a1d2566554670427f1cfcad
2 Author: Sam James <sam <AT> gentoo <DOT> org>
3 AuthorDate: Wed Oct 13 20:34:43 2021 +0000
4 Commit: Sam James <sam <AT> gentoo <DOT> org>
5 CommitDate: Wed Oct 13 20:34:43 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=504b1acd
7
8 dev-ml/menhir: Stabilize 20210419-r1 arm, #817713
9
10 Signed-off-by: Sam James <sam <AT> gentoo.org>
11
12 dev-ml/menhir/menhir-20210419-r1.ebuild | 2 +-
13 1 file changed, 1 insertion(+), 1 deletion(-)
14
15 diff --git a/dev-ml/menhir/menhir-20210419-r1.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild
16 index 5451a36f8cc..05d122b0ec5 100644
17 --- a/dev-ml/menhir/menhir-20210419-r1.ebuild
18 +++ b/dev-ml/menhir/menhir-20210419-r1.ebuild
19 @@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
20
21 LICENSE="GPL-2 LGPL-2-with-linking-exception"
22 SLOT="0/${PV}"
23 -KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 x86"
24 +KEYWORDS="amd64 arm ~arm64 ppc ppc64 x86"
25 IUSE="+ocamlopt"
26
27 src_install() {