diff --git a/dev-ml/mirage-random/Manifest b/dev-ml/mirage-random/Manifest new file mode 100644 index 0000000000..ef33bda990 --- /dev/null +++ b/dev-ml/mirage-random/Manifest @@ -0,0 +1 @@ +DIST mirage-random-v3.0.0.tbz 2254 BLAKE2B 0c3033e97d38d1b5cc1135f31c96f20d236aa90e91755de9680d22c749ff0a589c3945f0b6a6670be9fc907065fc5709f862ffea125d879f1b9a5004754968da SHA512 5d16855740e04f8efe5bcd5a7596ccffb5b927a616c5e6de4a5f5bd96e2f9f8f3b030d8b216156cac897d49a64b0f5bd7f89c30c787c3d9be63ab952c9984160 diff --git a/dev-ml/mirage-random/metadata.xml b/dev-ml/mirage-random/metadata.xml new file mode 100644 index 0000000000..dd61869c6c --- /dev/null +++ b/dev-ml/mirage-random/metadata.xml @@ -0,0 +1,11 @@ + + + + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + mirage/mirage-random + + diff --git a/dev-ml/mirage-random/mirage-random-3.0.0.ebuild b/dev-ml/mirage-random/mirage-random-3.0.0.ebuild new file mode 100644 index 0000000000..dec9d49d0a --- /dev/null +++ b/dev-ml/mirage-random/mirage-random-3.0.0.ebuild @@ -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}"