summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_ignore_instrumentation
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-06-15 00:09:17 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-06-15 00:09:17 +0100
commit6a7029e0f7370d4d5dfe9e31cc2719a870482392 (patch)
tree28c6c747114eaedfd2db81f86ac2ff3d7d13111e /dev-ml/ppx_ignore_instrumentation
parent5e41a38157bb40e8513e8e34426e85faba672fe7 (diff)
gentoo auto-resync : 15:06:2024 - 00:09:17
Diffstat (limited to 'dev-ml/ppx_ignore_instrumentation')
-rw-r--r--dev-ml/ppx_ignore_instrumentation/Manifest2
-rw-r--r--dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.17.0.ebuild20
2 files changed, 22 insertions, 0 deletions
diff --git a/dev-ml/ppx_ignore_instrumentation/Manifest b/dev-ml/ppx_ignore_instrumentation/Manifest
index 817d2bffd64d..28326e29978f 100644
--- a/dev-ml/ppx_ignore_instrumentation/Manifest
+++ b/dev-ml/ppx_ignore_instrumentation/Manifest
@@ -1,5 +1,7 @@
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
+DIST ppx_ignore_instrumentation-0.17.0.tar.gz 3737 BLAKE2B 0502380f0d26f740f8f2bebeb1dd16087e6f10041468fb805e4d5062cf0dd0583278b5f5ba75c834f40a90735c9c723f70a1fa479836819bd0cc60e969ec45fb SHA512 a1904bb5788e4a3cb9e110cf9cb8c49d4ae383b03927f580e4b61a77f036c404982811df2e85290ee66c2a0556b4ca6ecd6d78bd3ffb3bd7c90796c34d48d5fa
EBUILD ppx_ignore_instrumentation-0.15.0-r1.ebuild 529 BLAKE2B 0f51a0df4c5482cdab85206dd900d01c5f69281b3b24aed357bd73133548ce9d86e49eb3f37529030c1d1098691938044c3aa35ff13155b5441c71e80132b621 SHA512 3cc6a4c3d781589c758897831a47754cf56bed0ee263e6b0c7b8814a766b8b0741d0e6d53c03e1f7d2ce4860e9536dbf93b7d17fed271f23a17fcb1e9e280547
EBUILD ppx_ignore_instrumentation-0.16.0.ebuild 528 BLAKE2B 807535e333c305b13c8f0cc6f5798a23fc1af6225f3c8a15c004bcfea532e87e0a4bfcc43cb2a417fe1678691933fc7e1df48952d7ff6c8b8521f564d631846c SHA512 4ab21efe82edb912dadceddf9df7054a2e26dcc915828d835dfe2adb8bd12af6cb23ab3a078b674ba349fe150d433b988ef282880deeada9d261f0413893971f
+EBUILD ppx_ignore_instrumentation-0.17.0.ebuild 554 BLAKE2B 6291fed017d5aba8f6c0803faa77fb90b40e1890a0fc88ea696f7f0a2f8c05325c196e9df0dc5c4097ddf25c9454716d3fa4ea8eb8f48e79ea39538580227daa SHA512 788cc8fd7d780cd3331b1c6803cadf577898908920a44d8994ff2c2361340bbf9bb5ee1333aa383de46886c0701ffa31ba6445cfdd68c61ed7554db1c9fb19ab
MISC metadata.xml 335 BLAKE2B e78fa9416dac3fb12ccd82e965f1c152b7dc905f3f54c6d0c96b14daf9644ab2afe4f307656658049a89c8baacd507bcbd39ac2796648fc5c75d94ff2a5f8d39 SHA512 8c07521b5ed071d427b7cf30e05105be47f0ca857b0443502312d5080c4501612dfdd36f3858e7d6020def0efd9ab2630fbe13ffa0bfa751d557f8695bb48ca2
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.17.0.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.17.0.ebuild
new file mode 100644
index 000000000000..9de260815778
--- /dev/null
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.17.0.ebuild
@@ -0,0 +1,20 @@
+# Copyright 2022-2024 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 ~arm64 ~ppc ~ppc64 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND=">=dev-ml/ppxlib-0.32.1:=[ocamlopt?]"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"