commit: 3410c23aa19207112a79cc5aee807cd0ccf7f967 Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> AuthorDate: Sun Apr 3 07:39:07 2022 +0000 Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> CommitDate: Sun Apr 3 23:46:07 2022 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=3410c23a
dev-ml/lwt-dllist: initial import Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com> dev-ml/lwt-dllist/Manifest | 1 + dev-ml/lwt-dllist/lwt-dllist-1.0.1.ebuild | 19 +++++++++++++++++++ dev-ml/lwt-dllist/metadata.xml | 11 +++++++++++ 3 files changed, 31 insertions(+) diff --git a/dev-ml/lwt-dllist/Manifest b/dev-ml/lwt-dllist/Manifest new file mode 100644 index 000000000..e4d5280f0 --- /dev/null +++ b/dev-ml/lwt-dllist/Manifest @@ -0,0 +1 @@ +DIST lwt-dllist-v1.0.1.tbz 7526 BLAKE2B 1016bc44cf6511c49c0a53a8d0dcac48a0b78a17c158a2d2b7d334522aea339bb7bc6fe1f49d39d8605fc8cc32e7b51583f1772f970673fa8332faad07f27905 SHA512 1df7e8e12e01a5d32e1db746f922e05f23a67c0d20e72a5b9126fead1e04decdb062081574b1c410c822305ef4eac990b7dd69f36673db8f50b9db2152abad80 diff --git a/dev-ml/lwt-dllist/lwt-dllist-1.0.1.ebuild b/dev-ml/lwt-dllist/lwt-dllist-1.0.1.ebuild new file mode 100644 index 000000000..9cd969b20 --- /dev/null +++ b/dev-ml/lwt-dllist/lwt-dllist-1.0.1.ebuild @@ -0,0 +1,19 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION=" Mutable doubly-linked list with Lwt iterators " +HOMEPAGE="https://github.com/mirage/lwt-dllist"; +SRC_URI="https://github.com/mirage/${PN}/releases/download/v${PV}/${PN}-v${PV}.tbz"; +S="${WORKDIR}/${PN}-v${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" + +DEPEND="" +RDEPEND="${DEPEND}" diff --git a/dev-ml/lwt-dllist/metadata.xml b/dev-ml/lwt-dllist/metadata.xml new file mode 100644 index 000000000..f9b5363d5 --- /dev/null +++ b/dev-ml/lwt-dllist/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">mirage/lwt-dllist</remote-id> + </upstream> +</pkgmetadata>
