diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
| commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
| tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/patience_diff | |
| parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) | |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/patience_diff')
| -rw-r--r-- | dev-ml/patience_diff/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/patience_diff/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 |
3 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest new file mode 100644 index 000000000000..95ac6701752a --- /dev/null +++ b/dev-ml/patience_diff/Manifest @@ -0,0 +1,3 @@ +DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 +EBUILD patience_diff-0.9.0.ebuild 526 BLAKE2B 45391487404730a2f788a48d978bc3aab43bef59305fc363eae6ed608cf3d032abdb7e07cdd4b35ff3c495a0808b6e1fe37569a783bffd08b59aa497a7b4e532 SHA512 407651f14c1ba623a4210a8550a957776f12c9612b434452587e075b29327978cfb349da7df71c4d79e42bd186ec5c846e0191a9a2dc13241839d0cdb116aa13 +MISC metadata.xml 336 BLAKE2B 619d34a20035c8918350e063bf3cfef6ad0a532bf2c09d374ba658e3cf85b56a5331e90341ad7dff215bf892d48732aed68f3659efb2fe61734a3bd72ede269a SHA512 c845ce7952411252254f736e36596bb8161e28aee01be474a6dd720ec15afdce86654308993177e6cb784fdced15084e66074f9be789789349f4395eb13156ae diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml new file mode 100644 index 000000000000..41ba0f8e6fe0 --- /dev/null +++ b/dev-ml/patience_diff/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>Gentoo ML Project</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/patience_diff</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild new file mode 100644 index 000000000000..cba06ddf9e13 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit opam + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/${PN}" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +RDEPEND=" + dev-ml/core_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/ocaml-migrate-parsetree:= +" +DEPEND="${RDEPEND} dev-ml/jbuilder" |