summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_enumerate
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-06-30 19:43:35 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-06-30 19:43:35 +0100
commitb7efdd771aad99c9a6509a5f85a80a1f7cfd55f3 (patch)
tree02f9d01894c5e75c1d01e1c85038384cb6d1da64 /dev-ml/ppx_enumerate
parente2e7cc7d880b593b2bc94bf648dff853c97225f2 (diff)
gentoo auto-resync : 30:06:2023 - 19:43:35
Diffstat (limited to 'dev-ml/ppx_enumerate')
-rw-r--r--dev-ml/ppx_enumerate/Manifest2
-rw-r--r--dev-ml/ppx_enumerate/ppx_enumerate-0.16.0.ebuild23
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/ppx_enumerate/Manifest b/dev-ml/ppx_enumerate/Manifest
index 876337f5d493..fcdbe9f6386d 100644
--- a/dev-ml/ppx_enumerate/Manifest
+++ b/dev-ml/ppx_enumerate/Manifest
@@ -1,5 +1,7 @@
DIST ppx_enumerate-0.14.0.tar.gz 9487 BLAKE2B 7f87a1c9c2ae0b365b5fdc44b906ef5330e28586aea741ca51dcddd8b0cf591e28f59e21d4050078c42072b96a96e5c6430d5ade4334d49aeec142db058ee3fc SHA512 d7f61ba792af81395c76e51bcb81b467ae4b67fdc3022d2e55ab0682bb4710e9a96852457721567a9f13606bd4290dbac8fd34421b0dffbabdd9debd1268ecc5
DIST ppx_enumerate-0.15.0.tar.gz 9377 BLAKE2B 93718a2d22d4421c1a7105096802583b6e91e45023eda92efb85214238f15e70f5ea118b2d7b9d2ceeba2a6ba9e1d9c0d39f2c825f44326a641e4497e18b9c00 SHA512 3118942fd77a3b86eeaf79fdb09639d503d4c80c2215cb06b357f53ab631fbc23e05109107863fa785aeecbb62ebc80e95b45f472ee9cf6d3c826b6767a7b8cd
+DIST ppx_enumerate-0.16.0.tar.gz 9414 BLAKE2B 87230f95eaf547a55c3ea3ca833dc532cfe1fd9245964de0e21e181317c964cd20c5fc20f9498e43ccaea4459ef074a1b52b3989590713ba4a7886c364bb4676 SHA512 8a5b79bd7bee7b746ade8a0f9ab1397f12e911a61582df344e78630ef64184f73415041b73699668e6b06b682c5f3f4f7b894bce0cd4aa7d122157f86d4c4af8
EBUILD ppx_enumerate-0.14.0.ebuild 599 BLAKE2B 5d410e5f92353c113bd94e986fe4ccb6b6822c198062048fd069249edbafb42363568fc369818711ecfefa9303748b6571719339427f9f10d2161a9976bb042d SHA512 d0c81c0048b512835925326da78fe2dd8b6f8e9b4390a60a2a90cf8bba973ec8a9e2d553c36472c2484566c53ad9521fa88f28ef0cea7bf51fb2dd12cf056735
EBUILD ppx_enumerate-0.15.0.ebuild 543 BLAKE2B 90018b0d96a1049bf410ce02c5b959fa4e078cb434fd7baf2f34e3679b9e1d0730396fb4c285793985529db66b1333c584f0ec7f75a63f2944abda4a60023790 SHA512 5c5c35e16ba15b978af58d9acb1a2b04a0d4998c715ab3a9cce0316cb2281153edd097d2ddfa6c4860710dcdfe860f608214ac135467921da2052daff083cb05
+EBUILD ppx_enumerate-0.16.0.ebuild 571 BLAKE2B 0409ce43e7c95a2861328cb75becc1ca98734fc86fa094b6b3c164f0438c7acd9dcf93b5effb2ade2b14026465e5654aa883389c231994d530e480a742589998 SHA512 6c8988e996c767aae037a5bf6362645779c39d8c81d23e1d867fc6e7bf38d38d5bba2feb257e7d5fe475bcbf01ab7629fb70b6345104c729427e6e8f0198431b
MISC metadata.xml 427 BLAKE2B 15469419d5d58077c28b066acf31d35c6c59637c21045e4a68967a6aa9f91177eea869dec6fd4cfcc6cf4182f780f3a4518a1dbc8769e4613766cd348138e4f1 SHA512 1cd905575b62ef49b8316978c2b9631899e4df224267e720566ed6bf29b2a1d79dd2e8c6a51cab73009bc5d03bec9f8184b7c428727260385d042466192051f3
diff --git a/dev-ml/ppx_enumerate/ppx_enumerate-0.16.0.ebuild b/dev-ml/ppx_enumerate/ppx_enumerate-0.16.0.ebuild
new file mode 100644
index 000000000000..1b79c5839e72
--- /dev/null
+++ b/dev-ml/ppx_enumerate/ppx_enumerate-0.16.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Generate a list containing all values of a finite type"
+HOMEPAGE="https://github.com/janestreet/ppx_enumerate"
+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-lang/ocaml-4.14
+ dev-ml/base:${SLOT}
+ dev-ml/findlib:=
+ >=dev-ml/ppxlib-0.28.0:=
+"
+RDEPEND="${DEPEND}"