summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-10-06 01:48:36 +0100
committerSam James <sam@gentoo.org>2021-10-06 02:00:56 +0100
commit1ac3b92a305c77fe38e0da76afb91cc633c35649 (patch)
tree36579ab8bc19b731438ad78538ce403fe830c820 /dev-ml/base_quickcheck
parentdev-ml/cppo: add 1.6.8 (diff)
downloadgentoo-1ac3b92a305c77fe38e0da76afb91cc633c35649.tar.gz
gentoo-1ac3b92a305c77fe38e0da76afb91cc633c35649.tar.bz2
gentoo-1ac3b92a305c77fe38e0da76afb91cc633c35649.zip
dev-ml/base_quickcheck: add 0.14.1
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/base_quickcheck')
-rw-r--r--dev-ml/base_quickcheck/Manifest1
-rw-r--r--dev-ml/base_quickcheck/base_quickcheck-0.14.1.ebuild29
2 files changed, 30 insertions, 0 deletions
diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest
index c6ba569c9cc2..7e2546e715c7 100644
--- a/dev-ml/base_quickcheck/Manifest
+++ b/dev-ml/base_quickcheck/Manifest
@@ -1 +1,2 @@
DIST base_quickcheck-0.14.0.tar.gz 66736 BLAKE2B eeaa92ec0eec4736be911128f46b8e4698034b2cb8afa131b31ee96a6edb5db0f28cfd611c101e4417305ee5a1babc2f869f4690b266218562a8fc50f5830acf SHA512 52333bee2591531665b8f8ad0fac1cdaa607b448d0a33b9b905cf98e00df5a700bf0a4ee3cdf3c06d7fcb2b5190363dd5908cc743b2854af9ce5c8d743e3fd58
+DIST base_quickcheck-0.14.1.tar.gz 66827 BLAKE2B 2a274fc0edab3daf7e3d671f7ea24912ecf273cf2b4cb4ab2bd74171a8848163526f97ed860b44aeaa9f3f3faabb22f4598bf604b33c8401733faa22ca7a3c93 SHA512 5d5a3a070a6903ffdd1e13754721d48a9df164f78bd569d3a18b3fd808354550e4603b76d5e48eaa6a4c4d3433f18bb29888478d640fde9ea004619448c3d7d0
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.1.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.1.ebuild
new file mode 100644
index 000000000000..3f8f641d04a3
--- /dev/null
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.1.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Randomized testing framework, designed for compatibility with Base"
+HOMEPAGE="https://github.com/janestreet/base_quickcheck"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
+
+DEPEND="
+ >=dev-ml/base-0.14.0:=
+ >=dev-ml/ppx_base-0.14.0:=
+ >=dev-ml/ppx_fields_conv-0.14.1:=
+ >=dev-ml/ppx_let-0.14.0:=
+ >=dev-ml/ppx_sexp_message-0.14.0:=
+ >=dev-ml/ppx_sexp_value-0.14.0:=
+ dev-ml/splittable_random:=
+ >=dev-ml/ppxlib-0.18.0:=
+ >=dev-ml/ocaml-migrate-parsetree-2.0.0:=
+ dev-ml/cinaps:=
+"
+RDEPEND="${DEPEND}"