summaryrefslogtreecommitdiff
path: root/dev-ml/mirage-clock
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-02-13 21:41:11 +0000
committerV3n3RiX <venerix@redcorelinux.org>2021-02-13 21:41:11 +0000
commitc8d60dada2ec8eb48b2d2b290cd6683ccec40e39 (patch)
treec44943ee0563a3fa957716de909fed683117fcb9 /dev-ml/mirage-clock
parent69051588e2f955485fe5d45d45e616bc60a2de57 (diff)
gentoo (valentine's day) resync : 14.02.2021
Diffstat (limited to 'dev-ml/mirage-clock')
-rw-r--r--dev-ml/mirage-clock/Manifest3
-rw-r--r--dev-ml/mirage-clock/metadata.xml11
-rw-r--r--dev-ml/mirage-clock/mirage-clock-3.1.0.ebuild17
3 files changed, 31 insertions, 0 deletions
diff --git a/dev-ml/mirage-clock/Manifest b/dev-ml/mirage-clock/Manifest
new file mode 100644
index 000000000000..a14fa4211c0b
--- /dev/null
+++ b/dev-ml/mirage-clock/Manifest
@@ -0,0 +1,3 @@
+DIST mirage-clock-3.1.0.tar.gz 8441 BLAKE2B a8cc3b1ab3f929c4c28ce5f0dfe30d316b1d9445f4fd053743d5e224e8b5630c9ae2d12804ca690488a238c6aa8cd8b197ca8ca7d9e49b902964570c78ed946b SHA512 e4518a6c47e18c7fd3fd910de2f68cacb18735d59bcfffc79b676c8526466f2134979805222c39496588ef6f16a8f6b1fb79fec478459a3ec474fb60118c5551
+EBUILD mirage-clock-3.1.0.ebuild 433 BLAKE2B a108c2ca09c0c3bbef0fe6a42dc7749056aa81ff1b861cd3b3082736f47d188b839f7dcab61178a5284f2e910d1ab2ac644bc3ca1b405ecf377a2e7becd035ba SHA512 a169d86a6966ea7333c4fc688376031a58734257128f809bf01c1fa80962ff70cb8df3113e18407452900aaa37a0eeedb651e4cd980a05997242120bbd5a4a3d
+MISC metadata.xml 316 BLAKE2B 5f073f5aacc52114af298e651850326c5f32bd1378b45949a7d5c415ecc7a0ead09c1165031de08c79b6f8455cd5f93d6beac975ddaa0abad74583bdc0badbfd SHA512 4170911266033cd76d7d21b2e599afebeb2947784a6c7377107657dded1af24eb3d63dd6102b75a3823311ce059f19e00e67f7778f3ac3ec552d93f1592a3248
diff --git a/dev-ml/mirage-clock/metadata.xml b/dev-ml/mirage-clock/metadata.xml
new file mode 100644
index 000000000000..6bb533907705
--- /dev/null
+++ b/dev-ml/mirage-clock/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">mirage/mirage-clock</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/mirage-clock/mirage-clock-3.1.0.ebuild b/dev-ml/mirage-clock/mirage-clock-3.1.0.ebuild
new file mode 100644
index 000000000000..a2d3db044eab
--- /dev/null
+++ b/dev-ml/mirage-clock/mirage-clock-3.1.0.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="A lightweight and colourful test framework"
+HOMEPAGE="https://github.com/mirage/mirage-clock"
+SRC_URI="https://github.com/mirage/mirage-clock/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~ppc64 ~x86"
+IUSE="+ocamlopt"
+
+BDEPEND="dev-ml/dune-configurator"