* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2020-10-15 1:19 Sam James
0 siblings, 0 replies; 17+ messages in thread
From: Sam James @ 2020-10-15 1:19 UTC (permalink / raw
To: gentoo-commits
commit: d1cf0faa49dd907958b20756a55ae9ed26df85ac
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 15 01:16:24 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Oct 15 01:16:24 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d1cf0faa
dev-ml/base_quickcheck: Keyword 0.14.0 arm, #748936
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
index e83ba35c08c..906898db7c7 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
@@ -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"
+KEYWORDS="~amd64 ~arm"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2020-10-15 12:42 Sam James
0 siblings, 0 replies; 17+ messages in thread
From: Sam James @ 2020-10-15 12:42 UTC (permalink / raw
To: gentoo-commits
commit: 67cd7d6c7521cb991b64aa8144dad8da4ea7a51f
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 15 12:39:24 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Oct 15 12:41:55 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=67cd7d6c
dev-ml/base_quickcheck: arm64 keyworded (bug #748936)
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
index 906898db7c7..7655acf64e8 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
@@ -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"
+KEYWORDS="~amd64 ~arm ~arm64"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2020-10-17 1:16 Sam James
0 siblings, 0 replies; 17+ messages in thread
From: Sam James @ 2020-10-17 1:16 UTC (permalink / raw
To: gentoo-commits
commit: 7959e5772bc4013d37ed2eb219ac5d227301a7a6
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 17 01:07:54 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Oct 17 01:07:54 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7959e577
dev-ml/base_quickcheck: Keyword 0.14.0 x86, #748936
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
index de98ed2f2f2..d57e192328c 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
@@ -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"
+KEYWORDS="~amd64 ~arm ~arm64 ~x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2021-02-12 22:19 Sam James
0 siblings, 0 replies; 17+ messages in thread
From: Sam James @ 2021-02-12 22:19 UTC (permalink / raw
To: gentoo-commits
commit: e89f4ecd8e712d21cb596cf7803a8a203469956c
Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at>
AuthorDate: Fri Feb 12 22:09:38 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Feb 12 22:19:05 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e89f4ecd
dev-ml/base_quickcheck: remove whitespace, fix indent
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at>
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
index ba7e419a601..c787b7b17a3 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
@@ -5,7 +5,7 @@ EAPI=7
inherit dune
-DESCRIPTION="Randomized testing framework, designed for compatibility with Base "
+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"
@@ -23,7 +23,7 @@ DEPEND="
>=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:=
+ >=dev-ml/ocaml-migrate-parsetree-2.0.0:=
+ dev-ml/cinaps:=
"
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2021-10-06 1:02 Sam James
0 siblings, 0 replies; 17+ messages in thread
From: Sam James @ 2021-10-06 1:02 UTC (permalink / raw
To: gentoo-commits
commit: 1ac3b92a305c77fe38e0da76afb91cc633c35649
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 6 00:48:36 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 6 01:00:56 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1ac3b92a
dev-ml/base_quickcheck: add 0.14.1
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/base_quickcheck/Manifest | 1 +
.../base_quickcheck/base_quickcheck-0.14.1.ebuild | 29 ++++++++++++++++++++++
2 files changed, 30 insertions(+)
diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest
index c6ba569c9cc..7e2546e715c 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 00000000000..3f8f641d04a
--- /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}"
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2021-10-15 3:43 Sam James
0 siblings, 0 replies; 17+ messages in thread
From: Sam James @ 2021-10-15 3:43 UTC (permalink / raw
To: gentoo-commits
commit: 9e2d826b911664fa1944f8f943f44d758b5506b7
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Oct 15 03:43:12 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Oct 15 03:43:12 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e2d826b
dev-ml/base_quickcheck: tighten ppxlib dependencies
Closes: https://bugs.gentoo.org/801985
Signed-off-by: Sam James <sam <AT> gentoo.org>
.../{base_quickcheck-0.14.0.ebuild => base_quickcheck-0.14.0-r1.ebuild} | 1 +
.../{base_quickcheck-0.14.1.ebuild => base_quickcheck-0.14.1-r1.ebuild} | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild
similarity index 96%
rename from dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
rename to dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild
index da316d2b46e..22f5dc4817f 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild
@@ -23,6 +23,7 @@ DEPEND="
>=dev-ml/ppx_sexp_value-0.14.0:=
dev-ml/splittable_random:=
>=dev-ml/ppxlib-0.18.0:=
+ <dev-ml/ppxlib-0.22.0:=
>=dev-ml/ocaml-migrate-parsetree-2.0.0:=
dev-ml/cinaps:=
"
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.1.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild
similarity index 96%
rename from dev-ml/base_quickcheck/base_quickcheck-0.14.1.ebuild
rename to dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild
index 3f8f641d04a..7b0d4c531b9 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.1.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild
@@ -22,7 +22,7 @@ DEPEND="
>=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/ppxlib-0.22.0:=
>=dev-ml/ocaml-migrate-parsetree-2.0.0:=
dev-ml/cinaps:=
"
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2022-04-24 14:32 Alfredo Tupone
0 siblings, 0 replies; 17+ messages in thread
From: Alfredo Tupone @ 2022-04-24 14:32 UTC (permalink / raw
To: gentoo-commits
commit: ffe6ec60089463a228149221fb39613265cae2ce
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 24 14:32:32 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Apr 24 14:32:32 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ffe6ec60
dev-ml/base_quickcheck: 0.15.0 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/base_quickcheck/Manifest | 1 +
.../base_quickcheck/base_quickcheck-0.15.0.ebuild | 24 ++++++++++++++++++++++
2 files changed, 25 insertions(+)
diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest
index 7e2546e715c7..1eded4aea16b 100644
--- a/dev-ml/base_quickcheck/Manifest
+++ b/dev-ml/base_quickcheck/Manifest
@@ -1,2 +1,3 @@
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
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}"
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2022-10-19 20:42 Alfredo Tupone
0 siblings, 0 replies; 17+ messages in thread
From: Alfredo Tupone @ 2022-10-19 20:42 UTC (permalink / raw
To: gentoo-commits
commit: f1b9b82b50954acfe9ad32ddbe5196d804410d0a
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 19 20:28:00 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Oct 19 20:41:11 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f1b9b82b
dev-ml/base_quickcheck: adj deps
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild | 1 +
...base_quickcheck-0.14.1-r1.ebuild => base_quickcheck-0.14.1-r2.ebuild} | 1 +
2 files changed, 2 insertions(+)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild
index 9b40b75bb28e..2edb781f920b 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild
@@ -26,5 +26,6 @@ DEPEND="
<dev-ml/ppxlib-0.22.0:=
>=dev-ml/ocaml-migrate-parsetree-2.0.0:=
dev-ml/cinaps:=
+ dev-ml/sexplib0:=
"
RDEPEND="${DEPEND}"
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r2.ebuild
similarity index 97%
rename from dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild
rename to dev-ml/base_quickcheck/base_quickcheck-0.14.1-r2.ebuild
index e7de61345336..13b91a9e745e 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r2.ebuild
@@ -25,5 +25,6 @@ DEPEND="
>=dev-ml/ppxlib-0.22.0:=
>=dev-ml/ocaml-migrate-parsetree-2.0.0:=
dev-ml/cinaps:=
+ dev-ml/sexplib0:=
"
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2023-01-28 21:23 Alfredo Tupone
0 siblings, 0 replies; 17+ messages in thread
From: Alfredo Tupone @ 2023-01-28 21:23 UTC (permalink / raw
To: gentoo-commits
commit: 76fc2255e50c24b5320a70e1752a18b66c4a63f9
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Jan 28 20:53:53 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Jan 28 21:22:27 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=76fc2255
dev-ml/base_quickcheck: adj deps
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
...base_quickcheck-0.15.0.ebuild => base_quickcheck-0.15.0-r1.ebuild} | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
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
similarity index 89%
rename from dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild
rename to 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}
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2023-02-10 8:15 Alfredo Tupone
0 siblings, 0 replies; 17+ messages in thread
From: Alfredo Tupone @ 2023-02-10 8:15 UTC (permalink / raw
To: gentoo-commits
commit: 96f7e54467fba03eab3d05d7bb55584b0a4fad9e
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 10 08:06:00 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Feb 10 08:14:52 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=96f7e544
dev-ml/base_quickcheck: add ppxlib dep
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
...base_quickcheck-0.15.0-r1.ebuild => base_quickcheck-0.15.0-r2.ebuild} | 1 +
1 file changed, 1 insertion(+)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r1.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
similarity index 96%
rename from dev-ml/base_quickcheck/base_quickcheck-0.15.0-r1.ebuild
rename to dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
index 6cae9208977e..decca67ab4ea 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r1.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
@@ -22,5 +22,6 @@ DEPEND="
dev-ml/ppx_let:${SLOT}
dev-ml/ppx_sexp_value:${SLOT}
dev-ml/splittable_random:${SLOT}
+ >=dev-ml/ppxlib-0.23.0:=
"
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2023-03-16 13:42 Alfredo Tupone
0 siblings, 0 replies; 17+ messages in thread
From: Alfredo Tupone @ 2023-03-16 13:42 UTC (permalink / raw
To: gentoo-commits
commit: 15ae55fadbd46eb462f91419525511943e815dfe
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 16 13:36:23 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Mar 16 13:36:23 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=15ae55fa
dev-ml/base_quickcheck: stabilize 0.15.0-r2 for amd64
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
index decca67ab4ea..16a7af357471 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2023-03-25 15:37 Arthur Zamarin
0 siblings, 0 replies; 17+ messages in thread
From: Arthur Zamarin @ 2023-03-25 15:37 UTC (permalink / raw
To: gentoo-commits
commit: a5d951331b66023205cb240dd006b03ea979b8a8
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 25 15:37:14 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 25 15:37:14 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a5d95133
dev-ml/base_quickcheck: Stabilize 0.15.0-r2 arm, #901559
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
index 46ac72765243..e30d7317b89a 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm ~arm64 ~ppc ~ppc64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2023-03-25 15:37 Arthur Zamarin
0 siblings, 0 replies; 17+ messages in thread
From: Arthur Zamarin @ 2023-03-25 15:37 UTC (permalink / raw
To: gentoo-commits
commit: 54ab60e6deab5f7ef562351cf2bfa318f5c60472
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 25 15:37:13 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 25 15:37:13 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=54ab60e6
dev-ml/base_quickcheck: Stabilize 0.15.0-r2 x86, #901559
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
index 16a7af357471..46ac72765243 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2023-03-25 15:37 Arthur Zamarin
0 siblings, 0 replies; 17+ messages in thread
From: Arthur Zamarin @ 2023-03-25 15:37 UTC (permalink / raw
To: gentoo-commits
commit: 085cf0b6516fcd85c835c3962f7a2ed5f77794e1
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 25 15:37:15 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 25 15:37:15 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=085cf0b6
dev-ml/base_quickcheck: Stabilize 0.15.0-r2 ppc64, #901559
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
index e30d7317b89a..71934aed2f85 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm ~arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm ~arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2023-04-01 19:52 Sam James
0 siblings, 0 replies; 17+ messages in thread
From: Sam James @ 2023-04-01 19:52 UTC (permalink / raw
To: gentoo-commits
commit: 3a9eca310c8d1d11090cc5b63ef1af58fc3b544e
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Apr 1 19:51:54 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Apr 1 19:52:02 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3a9eca31
dev-ml/base_quickcheck: Stabilize 0.15.0-r2 arm64, #901559
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
index 71934aed2f85..cce4d7fe6742 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm ~arm64 ~ppc ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2023-07-01 20:12 Alfredo Tupone
0 siblings, 0 replies; 17+ messages in thread
From: Alfredo Tupone @ 2023-07-01 20:12 UTC (permalink / raw
To: gentoo-commits
commit: ae01f1519853a3ff05c0a56782ec7f972e1bc35f
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 1 20:06:19 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Jul 1 20:12:08 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ae01f151
dev-ml/base_quickcheck: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/base_quickcheck/Manifest | 1 +
.../base_quickcheck/base_quickcheck-0.16.0.ebuild | 36 ++++++++++++++++++++++
2 files changed, 37 insertions(+)
diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest
index 1eded4aea16b..fc38fa1c0eb6 100644
--- a/dev-ml/base_quickcheck/Manifest
+++ b/dev-ml/base_quickcheck/Manifest
@@ -1,3 +1,4 @@
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
+DIST base_quickcheck-0.16.0.tar.gz 76738 BLAKE2B b54fac86332bfe06b767345898c2e1a7a6f70de26cb06d16467d634eee3117d7ab571f611d17f692776c519dfa4ab7de9c948b08e44016e1e05fdff565a16246 SHA512 c859f2982140ec72b3377e3f167117df43f8cb14b62d3949e92ecf479cb27b4c31bb2dfa9111da24ce42f969452582ba076aef868d304b97c08f2918759cc291
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.16.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.16.0.ebuild
new file mode 100644
index 000000000000..a867793e810b
--- /dev/null
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.16.0.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2023 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-lang/ocaml-4.14
+ dev-ml/base:${SLOT}
+ dev-ml/fieldslib:=
+ dev-ml/ppx_base:${SLOT}
+ dev-ml/ppx_compare:=
+ dev-ml/ppx_cold:=
+ dev-ml/ppx_enumerate:=
+ dev-ml/ppx_fields_conv:${SLOT}
+ dev-ml/ppx_globalize:=
+ dev-ml/ppx_let:${SLOT}
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_here:=
+ dev-ml/ppx_sexp_conv:=
+ dev-ml/ppx_sexp_message:${SLOT}
+ dev-ml/ppx_sexp_value:${SLOT}
+ dev-ml/splittable_random:${SLOT}
+ >=dev-ml/ppxlib-0.28.0:=
+"
+RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 17+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
@ 2024-06-05 19:37 Alfredo Tupone
0 siblings, 0 replies; 17+ messages in thread
From: Alfredo Tupone @ 2024-06-05 19:37 UTC (permalink / raw
To: gentoo-commits
commit: 88d47b60315aec1b9207ebfc27dc6bb987f2a94c
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 5 19:35:52 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Jun 5 19:36:12 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=88d47b60
dev-ml/base_quickcheck: fix deps
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
...quickcheck-0.15.0-r2.ebuild => base_quickcheck-0.15.0-r3.ebuild} | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r3.ebuild
similarity index 88%
rename from dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
rename to dev-ml/base_quickcheck/base_quickcheck-0.15.0-r3.ebuild
index cce4d7fe6742..a4307412236a 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r2.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -15,8 +15,8 @@ KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND="
- dev-ml/base:=
- dev-ml/fieldslib:=
+ dev-ml/base:${SLOT}
+ dev-ml/fieldslib:0/${PV}
dev-ml/ppx_base:${SLOT}
dev-ml/ppx_fields_conv:${SLOT}
dev-ml/ppx_let:${SLOT}
^ permalink raw reply related [flat|nested] 17+ messages in thread
end of thread, other threads:[~2024-06-05 19:37 UTC | newest]
Thread overview: 17+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-04-24 14:32 [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/ Alfredo Tupone
-- strict thread matches above, loose matches on Subject: below --
2024-06-05 19:37 Alfredo Tupone
2023-07-01 20:12 Alfredo Tupone
2023-04-01 19:52 Sam James
2023-03-25 15:37 Arthur Zamarin
2023-03-25 15:37 Arthur Zamarin
2023-03-25 15:37 Arthur Zamarin
2023-03-16 13:42 Alfredo Tupone
2023-02-10 8:15 Alfredo Tupone
2023-01-28 21:23 Alfredo Tupone
2022-10-19 20:42 Alfredo Tupone
2021-10-15 3:43 Sam James
2021-10-06 1:02 Sam James
2021-02-12 22:19 Sam James
2020-10-17 1:16 Sam James
2020-10-15 12:42 Sam James
2020-10-15 1:19 Sam James
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox