diff options
Diffstat (limited to 'dev-ml/ppx_ignore_instrumentation')
| -rw-r--r-- | dev-ml/ppx_ignore_instrumentation/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild | 19 |
2 files changed, 21 insertions, 0 deletions
diff --git a/dev-ml/ppx_ignore_instrumentation/Manifest b/dev-ml/ppx_ignore_instrumentation/Manifest index 0c5131e6db01..2ffda2f329a4 100644 --- a/dev-ml/ppx_ignore_instrumentation/Manifest +++ b/dev-ml/ppx_ignore_instrumentation/Manifest @@ -1,3 +1,5 @@ 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 EBUILD ppx_ignore_instrumentation-0.15.0-r1.ebuild 529 BLAKE2B 0f51a0df4c5482cdab85206dd900d01c5f69281b3b24aed357bd73133548ce9d86e49eb3f37529030c1d1098691938044c3aa35ff13155b5441c71e80132b621 SHA512 3cc6a4c3d781589c758897831a47754cf56bed0ee263e6b0c7b8814a766b8b0741d0e6d53c03e1f7d2ce4860e9536dbf93b7d17fed271f23a17fcb1e9e280547 +EBUILD ppx_ignore_instrumentation-0.16.0.ebuild 533 BLAKE2B ece2a446a2b3179817c9975aee879c84a4e12e7c67547a1cddf9ebcee24ce0b86391534fc202a95813275697b49623a640e56b0ef8b114ce8a21cafcdf0cd038 SHA512 80e10d8790a50889e5bd7ace76c626041843ced0e81e00c5c80d64529eaa9afb9705671dec507ac25a654952c30886c3976630e7e38b575c5cf3288281951f94 MISC metadata.xml 335 BLAKE2B e78fa9416dac3fb12ccd82e965f1c152b7dc905f3f54c6d0c96b14daf9644ab2afe4f307656658049a89c8baacd507bcbd39ac2796648fc5c75d94ff2a5f8d39 SHA512 8c07521b5ed071d427b7cf30e05105be47f0ca857b0443502312d5080c4501612dfdd36f3858e7d6020def0efd9ab2630fbe13ffa0bfa751d557f8695bb48ca2 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="" |