mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-17 19:13:13 -04:00
Code Issues Packages Projects Releases Wiki Activity

dev-ml/mirage-random: initial import

Browse Source 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2022-04-06 22:18:13 +02:00
parent c21ddf37b5
commit 38d42c11fd
3 changed files with 33 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
dev-ml/mirage-random/Manifest Normal file
View File

@@ -0,0 +1 @@
DIST mirage-random-v3.0.0.tbz 2254 BLAKE2B 0c3033e97d38d1b5cc1135f31c96f20d236aa90e91755de9680d22c749ff0a589c3945f0b6a6670be9fc907065fc5709f862ffea125d879f1b9a5004754968da SHA512 5d16855740e04f8efe5bcd5a7596ccffb5b927a616c5e6de4a5f5bd96e2f9f8f3b030d8b216156cac897d49a64b0f5bd7f89c30c787c3d9be63ab952c9984160

11
dev-ml/mirage-random/metadata.xml Normal file
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/mirage-random</remote-id>
</upstream>
</pkgmetadata>

21
dev-ml/mirage-random/mirage-random-3.0.0.ebuild Normal file
View File

@@ -0,0 +1,21 @@
# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit dune
MY_P="${PN}-v${PV}"
DESCRIPTION="Random-related devices for MirageOS"
HOMEPAGE="https://github.com/mirage/mirage-random"
SRC_URI="https://github.com/mirage/${PN}/releases/download/v${PV}/${MY_P}.tbz"
S="${WORKDIR}/${MY_P}"
LICENSE="ISC"
SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE="ocamlopt"
DEPEND="dev-ml/cstruct"
RDEPEND="${DEPEND}"