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/patience_diff-0.14.0.ebuild | |
| 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/patience_diff-0.14.0.ebuild')
| -rw-r--r-- | dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 |
1 files changed, 21 insertions, 0 deletions
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:= +" |