summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-06-13 18:36:00 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-06-13 18:45:24 +0200
commit9f07a7d16b4c35dc2ed0ab8aa35b4d73e8487cd9 (patch)
treef1f6eedc2aacbbb339feeb83b4d36c3ded69dcc2 /dev-ml
parentnet-misc/lambdamoo: unkeyword 1.8.1-r4 for ~sparc (diff)
downloadgentoo-9f07a7d16b4c35dc2ed0ab8aa35b4d73e8487cd9.tar.gz
gentoo-9f07a7d16b4c35dc2ed0ab8aa35b4d73e8487cd9.tar.bz2
gentoo-9f07a7d16b4c35dc2ed0ab8aa35b4d73e8487cd9.zip
dev-ml/time_now: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/time_now/Manifest1
-rw-r--r--dev-ml/time_now/time_now-0.17.0.ebuild26
2 files changed, 27 insertions, 0 deletions
diff --git a/dev-ml/time_now/Manifest b/dev-ml/time_now/Manifest
index 33a333793b0c..684030a95c75 100644
--- a/dev-ml/time_now/Manifest
+++ b/dev-ml/time_now/Manifest
@@ -1,3 +1,4 @@
DIST time_now-0.14.0.tar.gz 3666 BLAKE2B 131d4b585ac981fe306ea93f17e332cfabe86a3f8f4564a76e4dc694f9c624e91fe0f0ce26a4ada9fdf0239033fcd29065d76a37e6fb4b79927d116531c04909 SHA512 1b6d1a754e46f1756aa2aad3590e5052999f567630297491d62228ad733b189fbbfc0589b7bafd74e9f77ca0c0421093054e9062d2d5a7d7ed05930be67e9a5f
DIST time_now-0.15.0.tar.gz 3697 BLAKE2B 142e848aa17f3cd14ef9d90a758f21b2ae3881e7e70c1b25fac0980a1d925d41953ded6632423b24e9f124887e71dc07ce1f7c838e45d18724a036bb5cb29473 SHA512 b24bf9fda05cc84c568cc8637771e8774661df738719b4ad30f86ae4a9a984e9f1d344dc58ab6014d37275e99e92bf3b2d34a8c4dfc474faf00c6096f679e371
DIST time_now-0.16.0.tar.gz 3729 BLAKE2B df7569be37f608bd3f466dc8da96357d42c7bf48f299dd90543222213bdfad7e40f89f368e7dd5e0c2ee53f2b59d43650bd3006ade9bdfde1261cda26d4c306c SHA512 59c380bc89ac5185e344ef051180270bad62ccc7ad60aec4279aba5f71bae8dae6ac29136a6ca85ad7b24e204615fd84cd7db0901b6550de490e8992301c0ac2
+DIST time_now-0.17.0.tar.gz 4717 BLAKE2B 49f9af322194582c37961ac4f386a757e317563461e0a04c141bcb1abcc3b4f5d4a7f49f5d5aec0580db19c38d980de9e5ad8d3b1e4d573e12a7476e99bbb260 SHA512 d8d4682566b09799d68136ccfe4fb7475136ce62f8b8c63f7ec73b7f1a2dc7ebf0a4466a98cd09094e4c64376f4be233d1de997368c7d37777598e1b30860992
diff --git a/dev-ml/time_now/time_now-0.17.0.ebuild b/dev-ml/time_now/time_now-0.17.0.ebuild
new file mode 100644
index 000000000000..776a7f0ed33d
--- /dev/null
+++ b/dev-ml/time_now/time_now-0.17.0.ebuild
@@ -0,0 +1,26 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+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/$(ver_cut 1-2)"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
+IUSE="+ocamlopt"
+
+RDEPEND="
+ >=dev-lang/ocaml-5
+ dev-ml/base:${SLOT}[ocamlopt?]
+ dev-ml/jane-street-headers:${SLOT}[ocamlopt?]
+ dev-ml/jst-config:${SLOT}[ocamlopt?]
+ dev-ml/ppx_base:${SLOT}[ocamlopt?]
+ dev-ml/ppx_optcomp:${SLOT}[ocamlopt?]
+"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"