commit: 7cc7c79f75ff8ac88b0ed15fefce74da26df5200 Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org> AuthorDate: Mon Oct 11 12:16:01 2021 +0000 Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org> CommitDate: Mon Oct 11 12:16:01 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7cc7c79f
dev-ml/menhir: ppc stable wrt bug #817713 Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org> dev-ml/menhir/menhir-20210419-r1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/menhir/menhir-20210419-r1.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild index 3bfd2b1f5e7..78e24f252d1 100644 --- a/dev-ml/menhir/menhir-20210419-r1.ebuild +++ b/dev-ml/menhir/menhir-20210419-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"; LICENSE="GPL-2 LGPL-2-with-linking-exception" SLOT="0/${PV}" -KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~x86" +KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 ~x86" IUSE="+ocamlopt" src_install() {
