summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2023-06-30 15:05:53 +0200
committerAlfredo Tupone <tupone@gentoo.org>2023-06-30 15:14:13 +0200
commit7e70e02a18417a0c2f7df44f03b07bfab6352935 (patch)
treeb11cd5741ad7510d1ea7c864d7acabd625c1fbb8 /dev-ml/ppx_hash
parentdev-ml/splittable_random: add 0.16.0 (diff)
downloadgentoo-7e70e02a18417a0c2f7df44f03b07bfab6352935.tar.gz
gentoo-7e70e02a18417a0c2f7df44f03b07bfab6352935.tar.bz2
gentoo-7e70e02a18417a0c2f7df44f03b07bfab6352935.zip
dev-ml/ppx_hash: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_hash')
-rw-r--r--dev-ml/ppx_hash/Manifest1
-rw-r--r--dev-ml/ppx_hash/ppx_hash-0.16.0.ebuild22
2 files changed, 23 insertions, 0 deletions
diff --git a/dev-ml/ppx_hash/Manifest b/dev-ml/ppx_hash/Manifest
index fff4d3fb54d6..f15ca84befaf 100644
--- a/dev-ml/ppx_hash/Manifest
+++ b/dev-ml/ppx_hash/Manifest
@@ -1,2 +1,3 @@
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
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}"