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/patience_diff/
Date: Wed, 27 Apr 2022 20:09:52
Message-Id: 1651090171.2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120.tupone@gentoo
1 commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120
2 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Wed Apr 27 20:09:08 2022 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Wed Apr 27 20:09:31 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a
7
8 dev-ml/patience_diff: 0.15.0 bump
9
10 Package-Manager: Portage-3.0.30, Repoman-3.0.3
11 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
12
13 dev-ml/patience_diff/Manifest | 1 +
14 dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 +++++++++++++++++
15 2 files changed, 18 insertions(+)
16
17 diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
18 index 5648b021c4a7..746fe5ac6ac4 100644
19 --- a/dev-ml/patience_diff/Manifest
20 +++ b/dev-ml/patience_diff/Manifest
21 @@ -1 +1,2 @@
22 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
23 +DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba
24
25 diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
26 new file mode 100644
27 index 000000000000..00760fb0e14f
28 --- /dev/null
29 +++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
30 @@ -0,0 +1,17 @@
31 +# Copyright 1999-2022 Gentoo Authors
32 +# Distributed under the terms of the GNU General Public License v2
33 +
34 +EAPI=7
35 +
36 +inherit dune
37 +
38 +DESCRIPTION="Tool and library implementing patience diff"
39 +HOMEPAGE="https://github.com/janestreet/patience_diff"
40 +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
41 +
42 +LICENSE="Apache-2.0"
43 +SLOT="0/$(ver_cut 1-2)"
44 +KEYWORDS="~amd64 ~riscv"
45 +IUSE="+ocamlopt"
46 +
47 +RDEPEND="dev-ml/core:${SLOT}"