diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-06-30 19:43:35 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-06-30 19:43:35 +0100 |
| commit | b7efdd771aad99c9a6509a5f85a80a1f7cfd55f3 (patch) | |
| tree | 02f9d01894c5e75c1d01e1c85038384cb6d1da64 /dev-ml/ppx_hash | |
| parent | e2e7cc7d880b593b2bc94bf648dff853c97225f2 (diff) | |
gentoo auto-resync : 30:06:2023 - 19:43:35
Diffstat (limited to 'dev-ml/ppx_hash')
| -rw-r--r-- | dev-ml/ppx_hash/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_hash/ppx_hash-0.16.0.ebuild | 22 |
2 files changed, 24 insertions, 0 deletions
diff --git a/dev-ml/ppx_hash/Manifest b/dev-ml/ppx_hash/Manifest index 00db47121cd3..8e65f4a0d035 100644 --- a/dev-ml/ppx_hash/Manifest +++ b/dev-ml/ppx_hash/Manifest @@ -1,5 +1,7 @@ DIST ppx_hash-0.14.0.tar.gz 27859 BLAKE2B 0d89eeec154e62ae42ddaff6b0ccdf827ad768e0f19dcdfd4f8b940f594856c8fc036fa02a2462666f2ee4b675e1594837d196fb92cdbb9f8bdf4e171ce90374 SHA512 21d68c0655c21fcd0cecceb8c69e45706b57db160e49c3b112e67cc874a8084946dbae8709ed99f24e7282182c7238cf95ef00bec3ac5a271409e9d5f788467c DIST ppx_hash-0.15.0.tar.gz 28632 BLAKE2B 07c2416bcd1504bc82970a569984fdf225bf74e98d3b8e401b32370eee657a2b1b53a1903a702fcb04c295d1df08de67b9f6971ec8f1dcbf31e87c36136b27b2 SHA512 333d2b232b1d5c15fe144bafb7ad4c843e5381e71b21b25a6fb9c03b1ee98ba81580de7036580ac2d04dcdfed0af20003875b9374412b8ef130b4647c30fee6a +DIST ppx_hash-0.16.0.tar.gz 28660 BLAKE2B 8cd12ae26beb6a6828ebb1ebd5d3168d37e9b0dc61feca742a9cee0e992e9be84b9a7b1f32e708e68d4644a3cd6dc29c6d302ae780efcd466731624821dd0238 SHA512 b06f67fa0550a40a96fd02e1b65240470a014fcf6f6d4f0f21f77d2d7f2eaba3b86faef462d329b416f9e6234f287ac3a3c72875cbac53b0532d8ab82c0199e7 EBUILD ppx_hash-0.14.0.ebuild 706 BLAKE2B c066d3f77f8386f1742a19f4021f7448002cde99d7903de60529fadab43dece013798b01782f01e8f558d2e55e0b28fea955b2bec8313e89662b473a26db0cab SHA512 fb89a08de712d6bbc8e885be7d6249ee764372f8f9c2d7ddf5c9bf1a3931fea006b20adcf3c02b8b84a08823a6959fefeddd6923a6e69ec5cdea9e20c5b5a91d EBUILD ppx_hash-0.15.0-r1.ebuild 581 BLAKE2B 95eaf23c4fb468a518963d7c8190a1fd90d120e279472c83d9d7ba4589e2ab89b902fb82cf1506af5a9cb053411c13be2e7ab9056107657420599c1b5466bf20 SHA512 17f1869a20c4812f33ca654d70b43cf55869ff4348fe637bab0a9b238592e32b8455b66fa4f3579ce9a8f13d498bec2381f691de18b77a14baaa679d115a76f5 +EBUILD ppx_hash-0.16.0.ebuild 586 BLAKE2B 3bd293282e02cbcfc95e95139c75686403901c492d04ec183f90dd17f30e6d0da5b29eee1e96cf1cb55afe5c422f2453cd9a2e21557ebc1af8f2ba9d8f6d64ac SHA512 1362a980f0df85ea9915a14ab88addecc62ae238b0dd6f3b336382b73cbc0372fc77f39de698abb5ba0f691e3a279e93cb0e1efeee1cf614a3d3b2f41d35ffe4 MISC metadata.xml 422 BLAKE2B cb39ef26649a78c16811aba71b1ea0f809131fd5fdb90d3cf15f259584987eb1f67e34a7135c85b3c72eeb30220d0426a7ff6485c406c7b3c7730bbe437f34e2 SHA512 8e02928ea16287cce0eb7aa94182cce7fb4bf70e5127f569e804050358bcb08eb9fbe5f712f4b2a94924bcc0d370261e65f7cd7a3524071f37193adcb7aeb4b1 diff --git a/dev-ml/ppx_hash/ppx_hash-0.16.0.ebuild b/dev-ml/ppx_hash/ppx_hash-0.16.0.ebuild new file mode 100644 index 000000000000..9c0369a11436 --- /dev/null +++ b/dev-ml/ppx_hash/ppx_hash-0.16.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="PPX rewriter that generates hash functions from type expressions and definitions" +HOMEPAGE="https://github.com/janestreet/ppx_hash" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND=" + dev-ml/ppx_sexp_conv:${SLOT} + dev-ml/ppx_compare:${SLOT} + >=dev-ml/ppxlib-0.28:= +" +RDEPEND="${DEPEND}" |