commit:     df40d950db94c0e966a54429630258cc906a39c3
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jul  2 06:28:35 2023 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jul  2 07:21:41 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=df40d950

dev-ml/ppx_ignore_instrumentation: add 0.16.0

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

 dev-ml/ppx_ignore_instrumentation/Manifest            |  1 +
 .../ppx_ignore_instrumentation-0.16.0.ebuild          | 19 +++++++++++++++++++
 2 files changed, 20 insertions(+)

diff --git a/dev-ml/ppx_ignore_instrumentation/Manifest 
b/dev-ml/ppx_ignore_instrumentation/Manifest
index 48731f202853..cdab4c43bae3 100644
--- a/dev-ml/ppx_ignore_instrumentation/Manifest
+++ b/dev-ml/ppx_ignore_instrumentation/Manifest
@@ -1 +1,2 @@
 DIST ppx_ignore_instrumentation-0.15.0.tar.gz 3679 BLAKE2B 
3537d4336a2299e277fcf1e58690233a9e1ecd94c80d144376bef90b45b3c2c94a8eaf5e5ba2b90b12d8f4e3afc257461c4732a2fadba8aa91c7f35ff036fb0f
 SHA512 
ec411cb7a191fcb36f9a29f8ff3839db6f4031e30fa3444896a07235950ca04562a701b3bc7bc5df95e3ff82cfe8996be75bd5dce4bcce8a491898df1bffc50d
+DIST ppx_ignore_instrumentation-0.16.0.tar.gz 3712 BLAKE2B 
f7d4bb193fd1296b2bc9e3ea12133bd71a63dbf85dff8049f9d779db338a5725df12e005fc021584b98d0e09b2d69bf0198537ef69356a1a46eeeaee5c4b0f2e
 SHA512 
3ec3a706b2c0d8d170860d2a6fb24f6f95dc7d1b28e88d292f536302ef005158d76e4c586721f924e3c7c5098981e3d9569e28300dabaf0348585b56c62bb245

diff --git 
a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild 
b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
new file mode 100644
index 000000000000..1242ec81c0e0
--- /dev/null
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
@@ -0,0 +1,19 @@
+# Copyright 2022-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+inherit dune
+
+DESCRIPTION="Ignore Jane Street specific instrumentation extensions"
+HOMEPAGE="https://github.com/janestreet/ppx_ignore_instrumentation";
+SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/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-ml/ppxlib-0.28.0:="
+RDEPEND="${DEPEND}"
+BDEPEND=""

Reply via email to