From 1798c4aeca70ac8d0a243684d6a798fbc65735f8 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 20:57:42 +0100 Subject: gentoo resync : 14.07.2018 --- dev-ml/lambda-term/Manifest | 4 ---- dev-ml/lambda-term/files/lwtreact.patch | 13 ------------- dev-ml/lambda-term/lambda-term-1.11.ebuild | 28 ---------------------------- dev-ml/lambda-term/metadata.xml | 11 ----------- 4 files changed, 56 deletions(-) delete mode 100644 dev-ml/lambda-term/Manifest delete mode 100644 dev-ml/lambda-term/files/lwtreact.patch delete mode 100644 dev-ml/lambda-term/lambda-term-1.11.ebuild delete mode 100644 dev-ml/lambda-term/metadata.xml (limited to 'dev-ml/lambda-term') diff --git a/dev-ml/lambda-term/Manifest b/dev-ml/lambda-term/Manifest deleted file mode 100644 index 3397212775c9..000000000000 --- a/dev-ml/lambda-term/Manifest +++ /dev/null @@ -1,4 +0,0 @@ -AUX lwtreact.patch 499 BLAKE2B c0702fd27ad84f69b051dd039c2a11747b185305f9ea87e464c21af2a8b18831f03191e14041a1b0ef24346bcd0c56cff474aae3ae983f2c66424d27c66f835b SHA512 d021213e10fc1b22762bf5e0a077fa18931131c6fe46f777289491cc50fbbfbc8fc672c56ba29de0d664098f367a87feb069cd777d368a43a289b033bdd11050 -DIST lambda-term-1.11.tar.gz 125906 BLAKE2B ddaee0a10d7136c4a168eb833953f439fb17eb6329d523d3bc9e7efe8954b73f55ce4c3fd853afb6bcb06557dc6749d5c16411d9400748ddbfa7a87ef28140ed SHA512 38654effe668d36766047f9e0ef74117c39a9f720322b92b9b8dcc5262c58de63fa36730c6a9c7d4921bf7bfd147753ce5d5a2da1c6df6171ee604b5bb224c27 -EBUILD lambda-term-1.11.ebuild 579 BLAKE2B b948453decd503435ee2be0fb75ffb3d81dda8f88e09a8dafc20b360c0cabceed9e7f9925e0e349549a7eb85c5d38eca6dfde78ca1604c3705409d8a31cd9172 SHA512 a5cab35c542775af1cf015f5d5bbc00ac2b3f138fd67b0c622d7b8fd577a4faa766d0dfb520a17cbdb566f3fa26d20d89d31c0cfd89882a6aaccba392abe8bb0 -MISC metadata.xml 338 BLAKE2B 75f94a7452f5a6f23ccf53e354394304396307538c10c5edda84bd23a6d46f60e211139f2b101fffeb924ef8db2994b94b9269f8990855803fd0f5aae94add4b SHA512 7767b2368b1794d4b2972360ae4113fe895abf5f9dea75f207c06d438cb09d5cbf832337e0ac463c1981b7cf947847a932708fbbe0935c575a5f8211abc33c7a diff --git a/dev-ml/lambda-term/files/lwtreact.patch b/dev-ml/lambda-term/files/lwtreact.patch deleted file mode 100644 index b613d17595f5..000000000000 --- a/dev-ml/lambda-term/files/lwtreact.patch +++ /dev/null @@ -1,13 +0,0 @@ -Index: lambda-term-1.11/src/jbuild -=================================================================== ---- lambda-term-1.11.orig/src/jbuild -+++ lambda-term-1.11/src/jbuild -@@ -26,7 +26,7 @@ let () = - ((name lambda_term) - (public_name lambda-term) - (wrapped false) -- (libraries (lwt lwt.unix lwt.react zed)) -+ (libraries (lwt lwt.unix lwt_react zed)) - (synopsis "Cross-platform library for terminal manipulation") - (c_names (lTerm_term_stubs lTerm_unix_stubs lTerm_windows_stubs)) - %s)) diff --git a/dev-ml/lambda-term/lambda-term-1.11.ebuild b/dev-ml/lambda-term/lambda-term-1.11.ebuild deleted file mode 100644 index 040947b2c279..000000000000 --- a/dev-ml/lambda-term/lambda-term-1.11.ebuild +++ /dev/null @@ -1,28 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="A cross-platform library for manipulating the terminal" -HOMEPAGE="https://github.com/diml/lambda-term" -SRC_URI="https://github.com/diml/lambda-term/archive/${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="BSD" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -DEPEND=" - dev-ml/lwt_react:= - >=dev-ml/lwt-2.4.0:= - >=dev-ml/zed-1.2:= - >=dev-ml/react-1.2:= -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} - dev-ml/jbuilder -" - -PATCHES=( "${FILESDIR}/lwtreact.patch" ) diff --git a/dev-ml/lambda-term/metadata.xml b/dev-ml/lambda-term/metadata.xml deleted file mode 100644 index 4088a549d92b..000000000000 --- a/dev-ml/lambda-term/metadata.xml +++ /dev/null @@ -1,11 +0,0 @@ - - - - - ml@gentoo.org - Gentoo ML Project - - - diml/lambda-term - - -- cgit v1.2.3