From d9e8cede5ee983e7c19e5d66b7d1220ebe1ae03b Mon Sep 17 00:00:00 2001 From: Alessandro Barbieri Date: Mon, 4 Apr 2022 23:11:57 +0200 Subject: [PATCH] dev-ml/mirage-kv: initial import Signed-off-by: Alessandro Barbieri --- dev-ml/mirage-kv/Manifest | 1 + dev-ml/mirage-kv/metadata.xml | 11 +++++++++++ dev-ml/mirage-kv/mirage-kv-4.0.1.ebuild | 21 +++++++++++++++++++++ 3 files changed, 33 insertions(+) create mode 100644 dev-ml/mirage-kv/Manifest create mode 100644 dev-ml/mirage-kv/metadata.xml create mode 100644 dev-ml/mirage-kv/mirage-kv-4.0.1.ebuild diff --git a/dev-ml/mirage-kv/Manifest b/dev-ml/mirage-kv/Manifest new file mode 100644 index 0000000000..f62a4df364 --- /dev/null +++ b/dev-ml/mirage-kv/Manifest @@ -0,0 +1 @@ +DIST mirage-kv-4.0.1.tar.gz 6043 BLAKE2B 5b98347bca279f5ab263308538a75fc1ef72b1e44abae8ad7f36c119ac1e1867c4b36ed58c8dd52cc70b26c101ddda623cfe41d59e7570b585ca3643fae75080 SHA512 16fba72945026cebdd655d1e49b3d86214c29761a573131ad40d5283e796327951dc16cc2853d3d40f5ed5923ad81e7d0393a20d68ba66bb8f9c47eae0a030b0 diff --git a/dev-ml/mirage-kv/metadata.xml b/dev-ml/mirage-kv/metadata.xml new file mode 100644 index 0000000000..69b772df1c --- /dev/null +++ b/dev-ml/mirage-kv/metadata.xml @@ -0,0 +1,11 @@ + + + + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + mirage/mirage-kv + + diff --git a/dev-ml/mirage-kv/mirage-kv-4.0.1.ebuild b/dev-ml/mirage-kv/mirage-kv-4.0.1.ebuild new file mode 100644 index 0000000000..7c2005726e --- /dev/null +++ b/dev-ml/mirage-kv/mirage-kv-4.0.1.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 + +DESCRIPTION="MirageOS signature for key/value stores" +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/fmt + dev-ml/lwt +" +DEPEND="${RDEPEND}"