summaryrefslogtreecommitdiff
path: root/dev-ml/base_quickcheck
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-05-12 16:42:50 +0300
committerV3n3RiX <venerix@koprulu.sector>2022-05-12 16:42:50 +0300
commit752d6256e5204b958b0ef7905675a940b5e9172f (patch)
tree330d16e6362a49cbed8875a777fe641a43376cd3 /dev-ml/base_quickcheck
parent0c100b7dd2b30e75b799d806df4ef899fd98e1ea (diff)
gentoo resync : 12.05.2022
Diffstat (limited to 'dev-ml/base_quickcheck')
-rw-r--r--dev-ml/base_quickcheck/Manifest4
-rw-r--r--dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild4
-rw-r--r--dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild24
3 files changed, 29 insertions, 3 deletions
diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest
index 1ecbedbdd208..d80fc411ba76 100644
--- a/dev-ml/base_quickcheck/Manifest
+++ b/dev-ml/base_quickcheck/Manifest
@@ -1,5 +1,7 @@
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
+DIST base_quickcheck-0.15.0.tar.gz 73702 BLAKE2B 0f671b6e48d38ac92b8e5150c1b6f7c4a1326cf12fcf3c14edf7ef376ca1769f8d708755a3b6cfc69a4d74de8d84affbc14838fc9385f487f2053936f1f116fa SHA512 e5362d70469c085239efaabbca6ca2558cb1609dfd2c3715d5c31047c8ae34b8304b9d28636806305f226929b0f9e3518b409de08f42f389963378f2aee6b351
EBUILD base_quickcheck-0.14.0-r1.ebuild 791 BLAKE2B 62e59e6e2141b588c85545e2f06a81aa40449d58f307060d519a821ff87a6e6870cc093f0be8a6eda490edbc9cd820f68e4b3c2b9e6d20e5ff231f368fa89d5a SHA512 47c3f6ce692bd6d3544b25e1108aa5446595216a29f51b586632d697be9e57115b127a26ebd7a4c28fd9330a267efd6f49ae6bf3f748c707ce38953836bd57f7
-EBUILD base_quickcheck-0.14.1-r1.ebuild 771 BLAKE2B 78e8ba66b0d538d90c67768570be78944e304400d5b29ec564e5f0c9d5616c15fb5c21a4231cf0cfec292388dcdaba1cb0dd9f75020078d88e219d6fa954b81e SHA512 a55e364752125ff8e902684f4395ae72283999599d8b6eb70d8a75ce0980990022520a3740d5c882d9991aeea8712894a0296573710d26cf2604a3d854c3f50d
+EBUILD base_quickcheck-0.14.1-r1.ebuild 778 BLAKE2B a339d559bc1d66f6f65cf0669c5b6b5c6ba84199f530658cb7e7618a14345d937f2174796d52fb3cc02e7077157fa0e32c6c83fc274db9aec33b7f1bc1eeadbd SHA512 c2ce56a2c1e8028b14bb51491a73f6aca4caf40de178e84335b6e5fed0aad3e6af3782315a22209fb004e9a5f62000acbe86439f2a347a7f30da74fb7f5012a5
+EBUILD base_quickcheck-0.15.0.ebuild 636 BLAKE2B d68a8c4aa0505be44f0440628576f5c20623a13fca7ccfcf363650261b94c04a874b97be418fda5a0b09e85fd31c19322a4810121e90b46a15ecc08075e753a0 SHA512 e0c9ffc2e5af701535fed02a1781fd464f3acc9a3dd24e5ed76dfb714dd6da1bb533b0561d9ea2c45788615fe78d6c703343207d5409e4c2a94e5dd30c4967a7
MISC metadata.xml 429 BLAKE2B bcecd0f055bdd4431614c5d927d7390f8b7ae6cf26a97c851495694618286a117b9e8e0cb37d3ece84d1f55671ab13dcfcf50d54113f4ce824c4c7e16e9ea1cf SHA512 b94bfb5483d4f9f1d7a0c77fac4b06a5c3ac7bf94b0068e49ab57456c2492218278df28cb66c877d551792f8849e34262be81712b4e32195049673f1ccd96147
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild
index 7b0d4c531b9f..e7de61345336 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND="
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild
new file mode 100644
index 000000000000..916057e1d07d
--- /dev/null
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+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/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+DEPEND="
+ dev-ml/ppx_base:${SLOT}
+ dev-ml/ppx_fields_conv:${SLOT}
+ dev-ml/ppx_let:${SLOT}
+ dev-ml/ppx_sexp_value:${SLOT}
+ dev-ml/splittable_random:${SLOT}
+"
+RDEPEND="${DEPEND}"