diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-04-27 22:09:08 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-04-27 22:09:31 +0200 |
| commit | 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120 (patch) | |
| tree | e856f21299fa7ef9f959c0b3762ed6f7aadf3f69 /dev-ml | |
| parent | package.mask: add patience_diff to janestreet mask (diff) | |
| download | gentoo-2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120.tar.gz gentoo-2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120.tar.bz2 gentoo-2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120.zip | |
dev-ml/patience_diff: 0.15.0 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/patience_diff/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 |
2 files changed, 18 insertions, 0 deletions
diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 5648b021c4a7..746fe5ac6ac4 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 +DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild new file mode 100644 index 000000000000..00760fb0e14f --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~riscv" +IUSE="+ocamlopt" + +RDEPEND="dev-ml/core:${SLOT}" |