summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2022-03-03 22:18:33 +0100
committerDavid Seifert <soap@gentoo.org>2022-03-03 22:18:33 +0100
commitca43f1dad3ed41d0ccdb3e7bb7f8fe3d76f8082b (patch)
tree4913badde6ac614fb70de8634a5228784e261473 /dev-ml/ppx_bin_prot
parentdev-ml/ppx_bench: destabilise for ppc (diff)
downloadgentoo-ca43f1dad3ed41d0ccdb3e7bb7f8fe3d76f8082b.tar.gz
gentoo-ca43f1dad3ed41d0ccdb3e7bb7f8fe3d76f8082b.tar.bz2
gentoo-ca43f1dad3ed41d0ccdb3e7bb7f8fe3d76f8082b.zip
dev-ml/ppx_bin_prot: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_bin_prot')
-rw-r--r--dev-ml/ppx_bin_prot/ppx_bin_prot-0.14.0.ebuild4
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/ppx_bin_prot/ppx_bin_prot-0.14.0.ebuild b/dev-ml/ppx_bin_prot/ppx_bin_prot-0.14.0.ebuild
index d2f36bcbc01f..bfef345296e1 100644
--- a/dev-ml/ppx_bin_prot/ppx_bin_prot-0.14.0.ebuild
+++ b/dev-ml/ppx_bin_prot/ppx_bin_prot-0.14.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ppc ppc64 x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
IUSE="+ocamlopt test"
RESTRICT="!test? ( test )"