diff --git a/dev-ml/async_extra/Manifest b/dev-ml/async_extra/Manifest deleted file mode 100644 index c5d619e9db836..0000000000000 --- a/dev-ml/async_extra/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST async_extra-0.15.0.tar.gz 18236 BLAKE2B d780885e26fe49499f616d70acfafeff5022c9f6a6bcb0a6f89149162e10c5f921edf250bf31556fa5d845a1d1e95a91f650a00f8d8c23931742d70f183f7dc8 SHA512 d54c324b615dd6575024a1694790e247f1982949399aaab4b75a8918d819798c64c6d3a5fafd17274d3a3b0b45b7e3b022b4e263aad9701c2eecce3c25d032b7 diff --git a/dev-ml/async_extra/async_extra-0.15.0.ebuild b/dev-ml/async_extra/async_extra-0.15.0.ebuild deleted file mode 100644 index eeeca95a16e6a..0000000000000 --- a/dev-ml/async_extra/async_extra-0.15.0.ebuild +++ /dev/null @@ -1,18 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Jane Street Capital's asynchronous execution library (extra)" -HOMEPAGE="https://github.com/janestreet/async_extra" -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="MIT" -SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64" -IUSE="+ocamlopt" - -RDEPEND="dev-ml/async_kernel:${SLOT}" -DEPEND="${RDEPEND}" diff --git a/dev-ml/async_extra/metadata.xml b/dev-ml/async_extra/metadata.xml deleted file mode 100644 index 4f2433f3e01b5..0000000000000 --- a/dev-ml/async_extra/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - - - janestreet/async_extra - -