diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
commit | d934827bf44b7cfcf6711964418148fa60877668 (patch) | |
tree | 0625f358789b5e015e49db139cc1dbc9be00428f /dev-ml/time_now | |
parent | 2e34d110f164bf74d55fced27fe0000201b3eec5 (diff) |
gentoo resync : 25.11.2020
Diffstat (limited to 'dev-ml/time_now')
-rw-r--r-- | dev-ml/time_now/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/time_now/metadata.xml | 11 | ||||
-rw-r--r-- | dev-ml/time_now/time_now-0.14.0.ebuild | 24 |
3 files changed, 38 insertions, 0 deletions
diff --git a/dev-ml/time_now/Manifest b/dev-ml/time_now/Manifest new file mode 100644 index 000000000000..a626d056af41 --- /dev/null +++ b/dev-ml/time_now/Manifest @@ -0,0 +1,3 @@ +DIST time_now-0.14.0.tar.gz 3666 BLAKE2B 131d4b585ac981fe306ea93f17e332cfabe86a3f8f4564a76e4dc694f9c624e91fe0f0ce26a4ada9fdf0239033fcd29065d76a37e6fb4b79927d116531c04909 SHA512 1b6d1a754e46f1756aa2aad3590e5052999f567630297491d62228ad733b189fbbfc0589b7bafd74e9f77ca0c0421093054e9062d2d5a7d7ed05930be67e9a5f +EBUILD time_now-0.14.0.ebuild 532 BLAKE2B 0732cea3bf5efd4b7c37ebb4869bb1c222421362c1ea6c43936af3772fd5d65398172ffaa384d858208d8d6a850a7715cb276189c34fbaf3591dfdf859fd9488 SHA512 e3429644229d81140ac181017ee028378db8910cfd4f44c142b4784f494c124a2a165d1b7a7b5ab6c349a057422da801dad6326b01ff31eb116cca52a07bfe78 +MISC metadata.xml 328 BLAKE2B 563dcd4d5d36906144c5cfd7aedbf719431104073eda4634b914e76f72083ee174989c40e169495d376f9e7d92ff2f52a76d5481a6b27eec99c6288a5a7b2304 SHA512 827e7f01c055215b6b0dff4cd4d652d10ff84e26b5919da370a16c9c256e965567bfe07b5300d8758e335e0b7bf779230eb0fcd8860a148a89b1f1e1c664a0af diff --git a/dev-ml/time_now/metadata.xml b/dev-ml/time_now/metadata.xml new file mode 100644 index 000000000000..b78a86fdab86 --- /dev/null +++ b/dev-ml/time_now/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="person"> + <email>gienah@gentoo.org</email> + <name>Mark Wright</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/time_now</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/time_now/time_now-0.14.0.ebuild b/dev-ml/time_now/time_now-0.14.0.ebuild new file mode 100644 index 000000000000..44465dffd133 --- /dev/null +++ b/dev-ml/time_now/time_now-0.14.0.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Reports the current time" +HOMEPAGE="https://github.com/janestreet/time_now" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +DEPEND=" + dev-ml/base:= + dev-ml/jane-street-headers:= + dev-ml/jst-config:= + dev-ml/ppx_base:= + dev-ml/ppx_optcomp:= +" +RDEPEND="${DEPEND}" |