summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2021-03-01 21:37:33 +0100
committerAlfredo Tupone <tupone@gentoo.org>2021-03-01 21:37:33 +0100
commit3e2f13c02fc1c14f7185b1a280f67164644f3b5d (patch)
treec5129439fcf116cbe8b694fa0561daf8e74fb464 /dev-ml
parentsci-libs/mpir: stable 3.0.0 for hppa (diff)
downloadgentoo-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')
-rw-r--r--dev-ml/patience_diff/Manifest1
-rw-r--r--dev-ml/patience_diff/patience_diff-0.14.0.ebuild21
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:=
+"