diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2021-03-01 21:37:33 +0100 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2021-03-01 21:37:33 +0100 |
commit | 3e2f13c02fc1c14f7185b1a280f67164644f3b5d (patch) | |
tree | c5129439fcf116cbe8b694fa0561daf8e74fb464 /dev-ml/patience_diff | |
parent | sci-libs/mpir: stable 3.0.0 for hppa (diff) | |
download | gentoo-3e2f13c02fc1c14f7185b1a280f67164644f3b5d.tar.gz gentoo-3e2f13c02fc1c14f7185b1a280f67164644f3b5d.tar.bz2 gentoo-3e2f13c02fc1c14f7185b1a280f67164644f3b5d.zip |
dev-ml/patience_diff: version bump to 0.14.0
Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/patience_diff')
-rw-r--r-- | dev-ml/patience_diff/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 |
2 files changed, 22 insertions, 0 deletions
diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 002d157a5147..efc52327c973 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.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild new file mode 100644 index 000000000000..67d3bdbbc951 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2021 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" +IUSE="+ocamlopt" + +RDEPEND=" + dev-ml/base:= + dev-ml/core_kernel:= + dev-ml/ppx_jane:= +" |