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_pipebang/
Date: Fri, 17 Mar 2023 17:04:03
Message-Id: 1679072623.5846e31cd4b1d7232fa9cded5bc8f09ebfc668d4.arthurzam@gentoo
1 commit: 5846e31cd4b1d7232fa9cded5bc8f09ebfc668d4
2 Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
3 AuthorDate: Fri Mar 17 17:03:18 2023 +0000
4 Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
5 CommitDate: Fri Mar 17 17:03:43 2023 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5846e31c
7
8 dev-ml/ppx_pipebang: Stabilize 0.15.0-r1 x86, #901583
9
10 Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
11
12 dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild | 2 +-
13 1 file changed, 1 insertion(+), 1 deletion(-)
14
15 diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild
16 index de596553b771..c51207230c1a 100644
17 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild
18 +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild
19 @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
20
21 LICENSE="Apache-2.0"
22 SLOT="0/$(ver_cut 1-2)"
23 -KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv ~x86"
24 +KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv x86"
25 IUSE="+ocamlopt"
26
27 DEPEND="