summaryrefslogtreecommitdiff
path: root/dev-ml/base_quickcheck
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-01-29 02:53:24 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-01-29 02:53:24 +0000
commitb8ec9071f5d20d8518b02d0077428b2c9f88861b (patch)
tree6214c0d63a2bd5ae464941924a90f415687fa63c /dev-ml/base_quickcheck
parentbdf6e70da7a28f45617c02a251bb6b3844202bc5 (diff)
gentoo auto-resync : 29:01:2023 - 02:53:24
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.15.0-r1.ebuild (renamed from dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild)4
2 files changed, 4 insertions, 2 deletions
diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest
index 2446da0ed0ef..3b87779c277b 100644
--- a/dev-ml/base_quickcheck/Manifest
+++ b/dev-ml/base_quickcheck/Manifest
@@ -3,5 +3,5 @@ DIST base_quickcheck-0.14.1.tar.gz 66827 BLAKE2B 2a274fc0edab3daf7e3d671f7ea2491
DIST base_quickcheck-0.15.0.tar.gz 73702 BLAKE2B 0f671b6e48d38ac92b8e5150c1b6f7c4a1326cf12fcf3c14edf7ef376ca1769f8d708755a3b6cfc69a4d74de8d84affbc14838fc9385f487f2053936f1f116fa SHA512 e5362d70469c085239efaabbca6ca2558cb1609dfd2c3715d5c31047c8ae34b8304b9d28636806305f226929b0f9e3518b409de08f42f389963378f2aee6b351
EBUILD base_quickcheck-0.14.0-r1.ebuild 810 BLAKE2B a304e470c32c2398c0b192f7a0e855d111080cbd37e9473f885784cbb3f62286fed610c4ac7f4a4c9aeb5bd552b6f838e6a13562e991f77a45ad74376731d27e SHA512 da77414509e79c78719cd15a1a04119fe26904eee3ed1ed4dac10f039973f91add34e5c50c1496f45bd7a85d256f8f22e69c3e3b0d1849ba6ab4340aa6f386be
EBUILD base_quickcheck-0.14.1-r2.ebuild 797 BLAKE2B 3dbaffdc1a50fdfd24408b503cc4ffa45caf2d26436f529e40b43ae8e1193d9b6c7767fbb415aaaa71ba321a984288430f1caeac55b939543f6c7c237d330c68 SHA512 02485cd73f239c346e33ccb4c4f34b9e9179355e6808ee0f417feffbd4c3bd3bf583b86be7f21a3f31a21365d320fff08c4b28127070cafa2a3d50aeba3d79c6
-EBUILD base_quickcheck-0.15.0.ebuild 636 BLAKE2B d68a8c4aa0505be44f0440628576f5c20623a13fca7ccfcf363650261b94c04a874b97be418fda5a0b09e85fd31c19322a4810121e90b46a15ecc08075e753a0 SHA512 e0c9ffc2e5af701535fed02a1781fd464f3acc9a3dd24e5ed76dfb714dd6da1bb533b0561d9ea2c45788615fe78d6c703343207d5409e4c2a94e5dd30c4967a7
+EBUILD base_quickcheck-0.15.0-r1.ebuild 671 BLAKE2B 4787df3b000a892f80c5db7d608ba927d90f3573eff859f4b5580d3e82e48be275768d70a0b3d0b55c08cb00bf287baba1a474c8eb80cab7161e474f07eb1268 SHA512 9d06e1cf0fa6482ca78761533581d680831e32c7d7e08a60eead914cc58a420fc45c5d42350985aa7895d32a655bb90d3c00a61a16fa1b8b1f9109cc10944d80
MISC metadata.xml 429 BLAKE2B bcecd0f055bdd4431614c5d927d7390f8b7ae6cf26a97c851495694618286a117b9e8e0cb37d3ece84d1f55671ab13dcfcf50d54113f4ce824c4c7e16e9ea1cf SHA512 b94bfb5483d4f9f1d7a0c77fac4b06a5c3ac7bf94b0068e49ab57456c2492218278df28cb66c877d551792f8849e34262be81712b4e32195049673f1ccd96147
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r1.ebuild
index 916057e1d07d..6cae9208977e 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -15,6 +15,8 @@ KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND="
+ dev-ml/base:=
+ dev-ml/fieldslib:=
dev-ml/ppx_base:${SLOT}
dev-ml/ppx_fields_conv:${SLOT}
dev-ml/ppx_let:${SLOT}