commit: b80d8a6fab74338ed49e13f1a3d9a46ccae3a170 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Wed Nov 26 17:54:03 2025 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Wed Nov 26 17:54:03 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b80d8a6f
dev-ml/async_extra: treeclean Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> dev-ml/async_extra/Manifest | 1 - dev-ml/async_extra/async_extra-0.15.0.ebuild | 18 ------------------ dev-ml/async_extra/metadata.xml | 8 -------- 3 files changed, 27 deletions(-) diff --git a/dev-ml/async_extra/Manifest b/dev-ml/async_extra/Manifest deleted file mode 100644 index c5d619e9db83..000000000000 --- 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 eeeca95a16e6..000000000000 --- 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 4f2433f3e01b..000000000000 --- a/dev-ml/async_extra/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> -<pkgmetadata> - <!-- maintainer-needed --> - <upstream> - <remote-id type="github">janestreet/async_extra</remote-id> - </upstream> -</pkgmetadata>
