diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2021-02-13 21:41:11 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2021-02-13 21:41:11 +0000 |
commit | c8d60dada2ec8eb48b2d2b290cd6683ccec40e39 (patch) | |
tree | c44943ee0563a3fa957716de909fed683117fcb9 /dev-ml/mirage-clock | |
parent | 69051588e2f955485fe5d45d45e616bc60a2de57 (diff) |
gentoo (valentine's day) resync : 14.02.2021
Diffstat (limited to 'dev-ml/mirage-clock')
-rw-r--r-- | dev-ml/mirage-clock/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/mirage-clock/metadata.xml | 11 | ||||
-rw-r--r-- | dev-ml/mirage-clock/mirage-clock-3.1.0.ebuild | 17 |
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" |