commit:     1cfb57de52b6561fbebf745beb7f5b0b36507a30
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jul  2 06:31:44 2023 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jul  2 07:21:45 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1cfb57de

dev-ml/ppx_module_timer: add 0.16.0

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/ppx_module_timer/Manifest                   |  1 +
 .../ppx_module_timer-0.16.0.ebuild                 | 23 ++++++++++++++++++++++
 2 files changed, 24 insertions(+)

diff --git a/dev-ml/ppx_module_timer/Manifest b/dev-ml/ppx_module_timer/Manifest
index 9b24e549140f..7c29815a6e51 100644
--- a/dev-ml/ppx_module_timer/Manifest
+++ b/dev-ml/ppx_module_timer/Manifest
@@ -1,2 +1,3 @@
 DIST ppx_module_timer-0.14.0.tar.gz 7262 BLAKE2B 
6fafc6b4b449071f4a95619d078814b0c3ace3574df46585b72549e5db349ab476124c217f46c6903c7c8a059f779dc62cc8a079eb1ef6b4854646fdabdf04bf
 SHA512 
cd9b6bbd6461b7408a31a0f6ca010a3c755db1f4a22150645c530e7b4a0a4c76a308ad0f8aeddc54914a116f6d74bd738604cfd9d9d255197f9ea18904d715e7
 DIST ppx_module_timer-0.15.0.tar.gz 7242 BLAKE2B 
66c2bfbfcfc594ab568dd30cf874fea213fe8d72f23dbd9b56957ba95a8a01bcb8cb8f98ea42b399bad3afdba1c14edb5087a95720c87e22c865538166af4cf6
 SHA512 
4cd55dce6872cbed1d34c34043500651e605c406747914173584cee1d8f3ff298a75efeb8a4beb7840df76b5d7c7db98d15399d3c4a3a5dca2a11d57339df6de
+DIST ppx_module_timer-0.16.0.tar.gz 7281 BLAKE2B 
3be0d87198cb15c7a95b8b72648a8e986c6ef83dd173538931f8fc9426bc6bf384c76f62dea7440d637caa40548e19832da07c32528c46c3eca10d354a0a98a7
 SHA512 
6125aec05e91bb11d1b41fc4fb9a1030561403c7f27ea9d9512a6050da4cfdc796cfe3acb1d96e5333f65b6beab6f5b16b044529ccc6e99e90c019923adf85d9

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
new file mode 100644
index 000000000000..689ef33b1ce5
--- /dev/null
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Ppx rewriter that records top-level module startup times"
+HOMEPAGE="https://github.com/janestreet/ppx_module_timer";
+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"
+
+DEPEND="
+       >=dev-lang/ocaml-4.14
+       dev-ml/time_now:${SLOT}
+       >=dev-ml/ppxlib-0.28.0:=
+"
+RDEPEND="${DEPEND}"

Reply via email to