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/async/Manifest | 3 --- dev-ml/async/async-0.9.0.ebuild | 26 -------------------------- dev-ml/async/metadata.xml | 11 ----------- 3 files changed, 40 deletions(-) delete mode 100644 dev-ml/async/Manifest delete mode 100644 dev-ml/async/async-0.9.0.ebuild delete mode 100644 dev-ml/async/metadata.xml (limited to 'dev-ml/async') diff --git a/dev-ml/async/Manifest b/dev-ml/async/Manifest deleted file mode 100644 index 737f01fa056f..000000000000 --- a/dev-ml/async/Manifest +++ /dev/null @@ -1,3 +0,0 @@ -DIST async-0.9.0.tar.gz 17856 BLAKE2B b7206641936aa430ddc35091b89c465fe0abd98883c9206f3a978372dc016a35f41a228adf906def56f894eafabdb223463a77fc690e373bbd5284c590871924 SHA512 93c0fa4d6e7d1c4dff1f460db8ec95b3eea1d7c19fda117bb9efc8711f4908d2922467c33f66659395169ead9b37931da16a85a031d6073fc9296c218f2c55bb -EBUILD async-0.9.0.ebuild 594 BLAKE2B a01140a79815f8b0df4503144d34df5e575f3339a984498dc7c68f72925d7c695af573bb6ed2a260985c520408c0d72f085e3c426e2630b132c4434494313273 SHA512 dc3565459af17982efc881302b328897f98af5933f1e5521cf41fbc45b230bff82cac8c114a8e56686c9cc9dd4178e2e7bbc48c6381cb2d89439360ebc4e0ad7 -MISC metadata.xml 328 BLAKE2B 4f0e3b1cc705a9dd5bc97f563b0785f96c0fbedd285963254fa57c35cd37da50ba0e87bbbb5c4c629cec7810e8b1ef9173cc70d680b8aac7f502fa893720351b SHA512 266276bd7d6489d1100b9f2268247b497532817bdef973ebd48e07cc139c113986fda2c204a86a66a465cfe27094eb3faf33a2b49a16fa294ec4f23abde067a1 diff --git a/dev-ml/async/async-0.9.0.ebuild b/dev-ml/async/async-0.9.0.ebuild deleted file mode 100644 index e1ba15eb9c98..000000000000 --- a/dev-ml/async/async-0.9.0.ebuild +++ /dev/null @@ -1,26 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Jane Street Capital's asynchronous execution library" -HOMEPAGE="https://github.com/janestreet/async" -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/async_extra:= - dev-ml/async_kernel:= - dev-ml/async_unix:= - dev-ml/core:= - dev-ml/ppx_driver:= - dev-ml/ppx_jane:= - dev-ml/ocaml-migrate-parsetree:= -" -DEPEND="${RDEPEND} dev-ml/jbuilder" diff --git a/dev-ml/async/metadata.xml b/dev-ml/async/metadata.xml deleted file mode 100644 index c444611196e7..000000000000 --- a/dev-ml/async/metadata.xml +++ /dev/null @@ -1,11 +0,0 @@ - - - - - ml@gentoo.org - Gentoo ML Project - - - janestreet/async - - -- cgit v1.2.3