dev-ml/lwt-dllist: initial import

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2022-04-03 09:39:07 +02:00
parent 0f7ade2768
commit 3410c23aa1
3 changed files with 31 additions and 0 deletions

View File

@@ -0,0 +1 @@
DIST lwt-dllist-v1.0.1.tbz 7526 BLAKE2B 1016bc44cf6511c49c0a53a8d0dcac48a0b78a17c158a2d2b7d334522aea339bb7bc6fe1f49d39d8605fc8cc32e7b51583f1772f970673fa8332faad07f27905 SHA512 1df7e8e12e01a5d32e1db746f922e05f23a67c0d20e72a5b9126fead1e04decdb062081574b1c410c822305ef4eac990b7dd69f36673db8f50b9db2152abad80

View File

@@ -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}"

View File

@@ -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>lssndrbarbieri@gmail.com</email>
<name>Alessandro Barbieri</name>
</maintainer>
<upstream>
<remote-id type="github">mirage/lwt-dllist</remote-id>
</upstream>
</pkgmetadata>