diff options
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, 0 insertions, 37 deletions
diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest deleted file mode 100644 index 95ac6701752a..000000000000 --- a/dev-ml/patience_diff/Manifest +++ /dev/null @@ -1,3 +0,0 @@ -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 deleted file mode 100644 index 41ba0f8e6fe0..000000000000 --- a/dev-ml/patience_diff/metadata.xml +++ /dev/null @@ -1,11 +0,0 @@ -<?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 deleted file mode 100644 index cba06ddf9e13..000000000000 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# 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" |