commit: 973efc7c52b9a5a2aa230f3f6fec4cda57114dbf Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> AuthorDate: Sat Apr 9 10:16:43 2022 +0000 Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> CommitDate: Fri Apr 15 20:34:19 2022 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=973efc7c
dev-ml/async_find: initial import Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com> dev-ml/async_find/Manifest | 1 + dev-ml/async_find/async_find-0.15.0.ebuild | 22 ++++++++++++++++++++++ dev-ml/async_find/metadata.xml | 11 +++++++++++ 3 files changed, 34 insertions(+) diff --git a/dev-ml/async_find/Manifest b/dev-ml/async_find/Manifest new file mode 100644 index 000000000..371a96284 --- /dev/null +++ b/dev-ml/async_find/Manifest @@ -0,0 +1 @@ +DIST async_find-0.15.0.tar.gz 5785 BLAKE2B 4186658bb411fe16e27da64aeefa7cfe00c73572241663de82142484da2b88d673097b1248a3eeaf783d5d0550f6bb50a3cf9ee62f4746ea63484e55fb0e028b SHA512 37d46686fd7e4809b859474a10600fb9926d9d573fcdcac1a1f62b3a5eda6503d2d0af400e5fafa3b1698710e2be6b7a0cbba4e988307f36c104eb2aff1e091e diff --git a/dev-ml/async_find/async_find-0.15.0.ebuild b/dev-ml/async_find/async_find-0.15.0.ebuild new file mode 100644 index 000000000..1df1b9e7c --- /dev/null +++ b/dev-ml/async_find/async_find-0.15.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Directory traversal with Async" +HOMEPAGE="https://github.com/janestreet/async_find" +SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" + +DEPEND=" + dev-ml/async + dev-ml/core + dev-ml/ppx_jane +" +RDEPEND="${DEPEND}" diff --git a/dev-ml/async_find/metadata.xml b/dev-ml/async_find/metadata.xml new file mode 100644 index 000000000..caace9866 --- /dev/null +++ b/dev-ml/async_find/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>[email protected]</email> + <name>Alessandro Barbieri</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/async_find</remote-id> + </upstream> +</pkgmetadata>
