Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
Date: Thu, 16 Mar 2023 13:42:41
Message-Id: 1678972961.87789c324178332204a02e60584d29ba9b626122.tupone@gentoo
1 commit: 87789c324178332204a02e60584d29ba9b626122
2 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Thu Mar 16 13:22:41 2023 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Thu Mar 16 13:22:41 2023 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=87789c32
7
8 dev-ml/ppx_pipebang: stabilize 0.15.0-r1 for amd64
9
10 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
11
12 dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild | 4 ++--
13 1 file changed, 2 insertions(+), 2 deletions(-)
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 40b93c106d46..82fb8a6d3699 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 @@ -1,4 +1,4 @@
20 -# Copyright 1999-2022 Gentoo Authors
21 +# Copyright 1999-2023 Gentoo Authors
22 # Distributed under the terms of the GNU General Public License v2
23
24 EAPI=8
25 @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
26
27 LICENSE="Apache-2.0"
28 SLOT="0/$(ver_cut 1-2)"
29 -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
30 +KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
31 IUSE="+ocamlopt"
32
33 DEPEND="