diff options
-rw-r--r-- | dev-ml/timezone/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/timezone/metadata.xml | 11 | ||||
-rw-r--r-- | dev-ml/timezone/timezone-0.14.0.ebuild | 21 |
3 files changed, 33 insertions, 0 deletions
diff --git a/dev-ml/timezone/Manifest b/dev-ml/timezone/Manifest new file mode 100644 index 000000000000..54b4e92b9065 --- /dev/null +++ b/dev-ml/timezone/Manifest @@ -0,0 +1 @@ +DIST timezone-0.14.0.tar.gz 9480 BLAKE2B d9f65420671d8a0607d16f91c6b10b48def78a813a87ecbbc3e036367a2084d53a256c698521f10b407dac0606208e1f5f2cd56c475e0a173cfc0a3e5a5cdede SHA512 39abb7ebc9e08520a9c969da948bd3de0dc9dc01c75d5ca324afacf231671edca3eadd6992ef3037cc23218990af8061419e5580d9ab246a43d31c5788599cc5 diff --git a/dev-ml/timezone/metadata.xml b/dev-ml/timezone/metadata.xml new file mode 100644 index 000000000000..58b29d804a67 --- /dev/null +++ b/dev-ml/timezone/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">janestreet/timezone</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/timezone/timezone-0.14.0.ebuild b/dev-ml/timezone/timezone-0.14.0.ebuild new file mode 100644 index 000000000000..534e109a0628 --- /dev/null +++ b/dev-ml/timezone/timezone-0.14.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Jane Street's alternative to the standard library" +HOMEPAGE="https://github.com/janestreet/timezone" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" + +RDEPEND=" + dev-ml/core_kernel:= + dev-ml/ppx_jane:= +" +DEPEND="${RDEPEND}" |