mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-19 03:53:22 -04:00
dev-ml/mirage-channel: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
1
dev-ml/mirage-channel/Manifest
Normal file
1
dev-ml/mirage-channel/Manifest
Normal file
@@ -0,0 +1 @@
|
||||
DIST mirage-channel-4.1.0.tar.gz 8219 BLAKE2B 946d012d286d550ba5cae9c91bccb0b1cefedf61fae0787c19424e1e089d37bd0a67c1fb69067ecc2f73b5869c498639460027afdaa2eb66b064ca776512fe47 SHA512 92130890acfcbc2ab1c4882259b10e2ac6d608c9ed1bb7e98d1356b1239e0518790829e295c1d14f34a5621640f0fa41b732945e66f98a47dadab53b142461ec
|
||||
11
dev-ml/mirage-channel/metadata.xml
Normal file
11
dev-ml/mirage-channel/metadata.xml
Normal 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/mirage-channel</remote-id>
|
||||
</upstream>
|
||||
</pkgmetadata>
|
||||
23
dev-ml/mirage-channel/mirage-channel-4.1.0.ebuild
Normal file
23
dev-ml/mirage-channel/mirage-channel-4.1.0.ebuild
Normal file
@@ -0,0 +1,23 @@
|
||||
# Copyright 1999-2022 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=8
|
||||
|
||||
inherit dune
|
||||
|
||||
DESCRIPTION="An implementation of channels using page-aligned memory"
|
||||
HOMEPAGE="https://github.com/mirage/mirage-time"
|
||||
SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
|
||||
|
||||
LICENSE="ISC"
|
||||
SLOT="0/${PV}"
|
||||
KEYWORDS="~amd64"
|
||||
IUSE="ocamlopt"
|
||||
|
||||
RDEPEND="
|
||||
dev-ml/cstruct
|
||||
dev-ml/logs
|
||||
dev-ml/lwt
|
||||
dev-ml/mirage-flow
|
||||
"
|
||||
DEPEND="${RDEPEND}"
|
||||
Reference in New Issue
Block a user