summaryrefslogtreecommitdiff
path: root/dev-ml/base_quickcheck
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2021-10-08 23:06:07 +0100
committerV3n3RiX <venerix@koprulu.sector>2021-10-08 23:06:07 +0100
commite23a08d0c97a0cc415aaa165da840b056f93c997 (patch)
tree4c5f7db60483518201fef36f8cc0712789a08db2 /dev-ml/base_quickcheck
parent391b5b359a346aff490103da7dddc85047f83830 (diff)
gentoo resync : 08.10.2021
Diffstat (limited to 'dev-ml/base_quickcheck')
-rw-r--r--dev-ml/base_quickcheck/Manifest2
-rw-r--r--dev-ml/base_quickcheck/base_quickcheck-0.14.1.ebuild29
2 files changed, 31 insertions, 0 deletions
diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest
index 5906cfb1f408..8dc5fdadb5ea 100644
--- a/dev-ml/base_quickcheck/Manifest
+++ b/dev-ml/base_quickcheck/Manifest
@@ -1,3 +1,5 @@
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
EBUILD base_quickcheck-0.14.0.ebuild 765 BLAKE2B 08d36c59b4f8fcf6bb43ed9e319dfe9e1a175eda8447b41435c257f34f42eb35c26d7e5a95a28f27060983911ee22ee36f08ec67d7ecc2760979c08019f3b6c2 SHA512 30c91a1b596cd0652c2f2084ccfd9b5e3dca9ef4227a14ab2d5d3aeb413311b8846911edc0830c6190841b5290693797dcd36015f83ae4f274f4405231d740e2
+EBUILD base_quickcheck-0.14.1.ebuild 771 BLAKE2B 1311571b056ff6dcf769bac74f8faaecda3cdfc3a3151e5634a4f6d11e107a6da651641be84589a2388deebf1a34592c49a7b2945ad7913a9f0c749428c620d1 SHA512 dcba6c81e7b31b531ecdffc1c06be95bd68023c30fe7b3d02e8252589d0a2af9de1ebb3bcc5a2d2805a5bb4da55b880abdc3b119a85d577b02f095be7367829b
MISC metadata.xml 336 BLAKE2B 6e0fd85af8abd5f25bcaadbeb62f0971f6ed38780d6b045431cb258cb47bb41c958c596b01d6b5b8ba569a55976f15113c1655125c8b0d11a3b73597069e1ca1 SHA512 9cfe316d1df1581c39124da69fb2ea008e7c517eaf4bd2f46d4ef7b8d68b9c150425b878ec132f19bc8574b3ff41bffcf0d2f8a04955573b1deaf26391b53ee6
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}"