Gentoo Archives: gentoo-commits

From: Arthur Zamarin <arthurzam@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
Date: Fri, 17 Mar 2023 10:11:04
Message-Id: 1679047852.fb5235a849c31062bbb3517a45531293b475760c.arthurzam@gentoo
1 commit: fb5235a849c31062bbb3517a45531293b475760c
2 Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
3 AuthorDate: Fri Mar 17 10:10:52 2023 +0000
4 Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
5 CommitDate: Fri Mar 17 10:10:52 2023 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fb5235a8
7
8 dev-ml/ppx_ignore_instrumentation: Stabilize 0.15.0-r1 x86, #901571
9
10 Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
11
12 .../ppx_ignore_instrumentation-0.15.0-r1.ebuild | 2 +-
13 1 file changed, 1 insertion(+), 1 deletion(-)
14
15 diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
16 index 3d16a36ca86a..0460d396e996 100644
17 --- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
18 +++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
19 @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
20
21 LICENSE="MIT"
22 SLOT="0/$(ver_cut 1-2)"
23 -KEYWORDS="amd64 ~arm ~arm64 ~riscv ~x86"
24 +KEYWORDS="amd64 ~arm ~arm64 ~riscv x86"
25 IUSE="+ocamlopt"
26
27 DEPEND=">=dev-ml/ppxlib-0.23.0:="