* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2023-01-28 13:26 Alfredo Tupone
0 siblings, 0 replies; 18+ messages in thread
From: Alfredo Tupone @ 2023-01-28 13:26 UTC (permalink / raw
To: gentoo-commits
commit: be4d4a49edf836ad64e90ff333c2f1ac5598d6d9
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Jan 28 13:07:46 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Jan 28 13:25:13 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=be4d4a49
dev-ml/qcheck: add 0.20
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/qcheck/Manifest | 1 +
dev-ml/qcheck/qcheck-0.20.ebuild | 36 ++++++++++++++++++++++++++++++++++++
2 files changed, 37 insertions(+)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 1698c6552d89..89a415b11b10 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1 +1,2 @@
DIST qcheck-0.18.tar.gz 105588 BLAKE2B 1c785815ed2d016852ebea3cdbfd1002bcc1054dba95db9290185d1283c9af9a3461fa66f24d43437789b7f361050a227ceed5c45327c694ae3a2846688f195e SHA512 08da783ca991dcee26f88b8d6db2fcf2589d3e753ce355d5e3c8944b58ce43b444c6cde054971a557d7d345b4386e6e976111d4c537840a1269c7e361340fcfe
+DIST qcheck-0.20.tar.gz 205616 BLAKE2B af693ccc2830a70e3ab783a05da828b54ff9ac357fa01cb2ddc3db29901c120a9c48b0c6090e5324aecaf4b8455001883c62e5e39963172aa5e0b124294169d9 SHA512 1fb178bee5353b870fe55e5c5379982345c2e1b7f417733be4168e8a58d448d26464d73f8a4470655ddea2701a2a44bc5b08b0de422c0f88f229d8a1ed9c3e87
diff --git a/dev-ml/qcheck/qcheck-0.20.ebuild b/dev-ml/qcheck/qcheck-0.20.ebuild
new file mode 100644
index 000000000000..9a40d01067cd
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.20.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="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck"
+SRC_URI="https://github.com/c-cube/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD-2"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test" # tests fail
+
+RDEPEND="
+ dev-ml/alcotest:=
+ dev-ml/ounit2:=
+"
+DEPEND="${RDEPEND}"
+
+src_install() {
+ # "ppx_deriving_qcheck" does not install but only "ppx_pbt" depends on it
+ local i
+ for i in qcheck qcheck-alcotest qcheck-core qcheck-ounit ; do
+ dune_src_install ${i}
+ done
+
+ einstalldocs
+}
+
+src_test() {
+ emake test
+}
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2024-07-13 9:30 Alfredo Tupone
0 siblings, 0 replies; 18+ messages in thread
From: Alfredo Tupone @ 2024-07-13 9:30 UTC (permalink / raw
To: gentoo-commits
commit: 01a2a4e3aa6d263820f231c92bff394e48cee00b
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 13 09:30:08 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Jul 13 09:30:08 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=01a2a4e3
dev-ml/qcheck: add 0.22
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/qcheck/Manifest | 1 +
dev-ml/qcheck/qcheck-0.22.ebuild | 36 ++++++++++++++++++++++++++++++++++++
2 files changed, 37 insertions(+)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 89a415b11b10..a462918ea5ef 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1,2 +1,3 @@
DIST qcheck-0.18.tar.gz 105588 BLAKE2B 1c785815ed2d016852ebea3cdbfd1002bcc1054dba95db9290185d1283c9af9a3461fa66f24d43437789b7f361050a227ceed5c45327c694ae3a2846688f195e SHA512 08da783ca991dcee26f88b8d6db2fcf2589d3e753ce355d5e3c8944b58ce43b444c6cde054971a557d7d345b4386e6e976111d4c537840a1269c7e361340fcfe
DIST qcheck-0.20.tar.gz 205616 BLAKE2B af693ccc2830a70e3ab783a05da828b54ff9ac357fa01cb2ddc3db29901c120a9c48b0c6090e5324aecaf4b8455001883c62e5e39963172aa5e0b124294169d9 SHA512 1fb178bee5353b870fe55e5c5379982345c2e1b7f417733be4168e8a58d448d26464d73f8a4470655ddea2701a2a44bc5b08b0de422c0f88f229d8a1ed9c3e87
+DIST qcheck-0.22.tar.gz 229755 BLAKE2B f7a2a377b0798fba1f3049cd6e8a313f5f0e3c35bb599c5e61eb819fff5f20aa63718454a104e0d378fa5cbd9b5d712741b0e8edbf68b403e4c649bb8a517810 SHA512 2bc273d73b9732564eadb78a2ab390b85c6f9ffb7ba46d3ec8725384631f199e17937740264c550ef4f06df62ffe655f2be19259f8f4cf4c2e81010a9c1a19e3
diff --git a/dev-ml/qcheck/qcheck-0.22.ebuild b/dev-ml/qcheck/qcheck-0.22.ebuild
new file mode 100644
index 000000000000..1d95e6791a9e
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.22.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck"
+SRC_URI="https://github.com/c-cube/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD-2"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test" # tests fail
+
+RDEPEND="
+ dev-ml/alcotest:=[ocamlopt?]
+ dev-ml/ounit2:=[ocamlopt?]
+"
+DEPEND="${RDEPEND}"
+
+src_install() {
+ # "ppx_deriving_qcheck" does not install but only "ppx_pbt" depends on it
+ local i
+ for i in qcheck qcheck-alcotest qcheck-core qcheck-ounit ; do
+ dune_src_install ${i}
+ done
+
+ einstalldocs
+}
+
+src_test() {
+ emake test
+}
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2021-12-07 21:58 Maciej Barć
0 siblings, 0 replies; 18+ messages in thread
From: Maciej Barć @ 2021-12-07 21:58 UTC (permalink / raw
To: gentoo-commits
commit: 6eed118f7a71cff11538e49c48cf0bd67d38ffa7
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Dec 7 21:26:58 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Dec 7 21:58:42 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6eed118f
dev-ml/qcheck: new package; add version 0.18
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-ml/qcheck/Manifest | 1 +
dev-ml/qcheck/metadata.xml | 13 +++++++++++++
dev-ml/qcheck/qcheck-0.18.ebuild | 36 ++++++++++++++++++++++++++++++++++++
3 files changed, 50 insertions(+)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
new file mode 100644
index 000000000000..1698c6552d89
--- /dev/null
+++ b/dev-ml/qcheck/Manifest
@@ -0,0 +1 @@
+DIST qcheck-0.18.tar.gz 105588 BLAKE2B 1c785815ed2d016852ebea3cdbfd1002bcc1054dba95db9290185d1283c9af9a3461fa66f24d43437789b7f361050a227ceed5c45327c694ae3a2846688f195e SHA512 08da783ca991dcee26f88b8d6db2fcf2589d3e753ce355d5e3c8944b58ce43b444c6cde054971a557d7d345b4386e6e976111d4c537840a1269c7e361340fcfe
diff --git a/dev-ml/qcheck/metadata.xml b/dev-ml/qcheck/metadata.xml
new file mode 100644
index 000000000000..03e91c67d610
--- /dev/null
+++ b/dev-ml/qcheck/metadata.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+ <upstream>
+ <bugs-to>https://github.com/c-cube/qcheck/issues/</bugs-to>
+ <remote-id type="github">c-cube/qcheck</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/qcheck/qcheck-0.18.ebuild b/dev-ml/qcheck/qcheck-0.18.ebuild
new file mode 100644
index 000000000000..5732be261e72
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.18.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck"
+SRC_URI="https://github.com/c-cube/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD-2"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test" # tests fail
+
+RDEPEND="
+ dev-ml/alcotest:=
+ dev-ml/ounit2:=
+"
+DEPEND="${RDEPEND}"
+
+src_install() {
+ # "ppx_deriving_qcheck" does not install but only "ppx_pbt" depends on it
+ local i
+ for i in qcheck qcheck-alcotest qcheck-core qcheck-ounit ; do
+ dune_src_install ${i}
+ done
+
+ einstalldocs
+}
+
+src_test() {
+ emake test
+}
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2020-12-02 17:46 Aaron Bauman
0 siblings, 0 replies; 18+ messages in thread
From: Aaron Bauman @ 2020-12-02 17:46 UTC (permalink / raw
To: gentoo-commits
commit: 45021a9587e84b5bdb5fb315709749c025a7357b
Author: Aaron Bauman <bman <AT> gentoo <DOT> org>
AuthorDate: Wed Dec 2 17:42:52 2020 +0000
Commit: Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Wed Dec 2 17:45:56 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=45021a95
dev-ml/qcheck: drop old
Signed-off-by: Aaron Bauman <bman <AT> gentoo.org>
dev-ml/qcheck/Manifest | 1 -
dev-ml/qcheck/qcheck-0.6.ebuild | 23 -----------------------
2 files changed, 24 deletions(-)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index a24d2c9f5b8..9520346f07b 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1,2 +1 @@
-DIST qcheck-0.6.tar.gz 255625 BLAKE2B 9b0e2f6c134a6c4eca37763f1ca41dcacdd8755f5ffe1b7afba2a5384edac4c9881c6849d6f6da005afe2aaaa46f956e50a5a3d00f6fc57fa1866ca486121c12 SHA512 e4298f00c49febe36ae64f287e032081bb2d7713d9412db95441d6b84fb3030f45d07519369ba00be81615a737dc45a246d609772b318084a2b2a28e77e05e1c
DIST qcheck-0.7.tar.gz 257935 BLAKE2B a885635e555a7442f0ad7687320e3d9f45897b9167ba4ac12baf632bc60e1eca207ae5ccf4b57ff36897e418f5ef4e781f9f2bf674ec16cdab140049debcb6c6 SHA512 3082029a09d5efe3af0cb8fcd0bd08f11dd1066d5bffc6beaac16c7244b07286b3ae93931e699f22c977ad4d6ba050dff69b133ce3492455d6932a9e0cc304f7
diff --git a/dev-ml/qcheck/qcheck-0.6.ebuild b/dev-ml/qcheck/qcheck-0.6.ebuild
deleted file mode 100644
index e74600712cf..00000000000
--- a/dev-ml/qcheck/qcheck-0.6.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-OASIS_BUILD_TESTS=1
-OASIS_BUILD_DOCS=1
-
-inherit oasis
-
-DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
-HOMEPAGE="https://github.com/c-cube/qcheck/"
-SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-RDEPEND="dev-ml/ounit:=
- !<dev-ml/iTeML-2.5"
-DEPEND="${RDEPEND}
- dev-ml/ocamlbuild"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2017-08-22 7:02 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2017-08-22 7:02 UTC (permalink / raw
To: gentoo-commits
commit: 6e1907dfac041b6a86cbcaafbf8b9420263caa8c
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Aug 22 07:00:48 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Aug 22 07:00:48 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6e1907df
dev-ml/qcheck: Remove old
Package-Manager: Portage-2.3.8, Repoman-2.3.3
dev-ml/qcheck/Manifest | 3 ---
dev-ml/qcheck/qcheck-0.5.2.ebuild | 20 --------------------
dev-ml/qcheck/qcheck-0.5.3.1.ebuild | 23 -----------------------
dev-ml/qcheck/qcheck-0.5.3.ebuild | 23 -----------------------
4 files changed, 69 deletions(-)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 5def6263bba..7a43c4ed076 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1,4 +1 @@
-DIST qcheck-0.5.2.tar.gz 154637 SHA256 4ec34a0b3a241d41f9af2d7f4fb3947dba3646856b8db252c66c7380d7f3e316 SHA512 35350914bb37f677b029293922fcc6cd9dfb2e6871665dfaace17c61f468c9dd052870d62b0cdb80912430142f80625b89c615dbd7e572c0dce5754217900883 WHIRLPOOL 3b7f8a51335bdad443ca65f690ce39e9cd9e9c2c8cf14c52c9a836bab1fcda4bb26853f6703a4c58e08e0ff3690816683bd880a18f753607fb5df2d55c00b12a
-DIST qcheck-0.5.3.1.tar.gz 212613 SHA256 46c1d1cab40e85b07eed1ff5a4b0ae3c6bfa62ad8d8d4d4af13986c5cabb41ff SHA512 7c13923b39be2de04a11bca9e7bb91da81319113a601af0939a54835c0b6021d1b21f36211eb5755faa46f84dc7c04d857e775b8dd57c97b056152a85e07c113 WHIRLPOOL 63b0724bad0e6dfbac7b4b1425b2b8a136c5eb4d778770c0b8101513a090b2c3f0f0d9f42d8e12718bcf611e5433de074400a7c4f5f9d8930806570321ac7413
-DIST qcheck-0.5.3.tar.gz 179444 SHA256 297afc9a68d1873ea4bfbd74da42df9e69b368712f3ba81ab135b6c8761967ac SHA512 ede60f87b4cdf63e123aa7f2b9c8370d8538077eaea41e32439610bebdd990d539dc54db8a41c94b506a8a18235636031a49b1985dd1c4e05ae13509d27a1290 WHIRLPOOL befffb59bcef9253a7625caccf85546d3db968397e9e934c4ab557c22ad67c72a11a1d0dddaafca66ca665f717b6a6782a8dd624b788b1602f2d9f63acad27ea
DIST qcheck-0.6.tar.gz 255625 SHA256 0293b859ae67a2ec58735331c73ac157b5bad380da8538181418410175a8391b SHA512 e4298f00c49febe36ae64f287e032081bb2d7713d9412db95441d6b84fb3030f45d07519369ba00be81615a737dc45a246d609772b318084a2b2a28e77e05e1c WHIRLPOOL ca120e08c01c02a8aaf8ecba534db7616b6c0dd255191d72d2c2b989157822f2be6a891f02267cc378d9a0beaee28ace3a2696d29dfd57db45268182e4e8c9ef
diff --git a/dev-ml/qcheck/qcheck-0.5.2.ebuild b/dev-ml/qcheck/qcheck-0.5.2.ebuild
deleted file mode 100644
index 6e4a555b5ae..00000000000
--- a/dev-ml/qcheck/qcheck-0.5.2.ebuild
+++ /dev/null
@@ -1,20 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit oasis
-
-DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
-HOMEPAGE="https://github.com/c-cube/qcheck/"
-SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-RDEPEND="dev-ml/ounit:=
- !<dev-ml/iTeML-2.5"
-DEPEND="${RDEPEND}
- dev-ml/ocamlbuild"
diff --git a/dev-ml/qcheck/qcheck-0.5.3.1.ebuild b/dev-ml/qcheck/qcheck-0.5.3.1.ebuild
deleted file mode 100644
index e74600712cf..00000000000
--- a/dev-ml/qcheck/qcheck-0.5.3.1.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-OASIS_BUILD_TESTS=1
-OASIS_BUILD_DOCS=1
-
-inherit oasis
-
-DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
-HOMEPAGE="https://github.com/c-cube/qcheck/"
-SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-RDEPEND="dev-ml/ounit:=
- !<dev-ml/iTeML-2.5"
-DEPEND="${RDEPEND}
- dev-ml/ocamlbuild"
diff --git a/dev-ml/qcheck/qcheck-0.5.3.ebuild b/dev-ml/qcheck/qcheck-0.5.3.ebuild
deleted file mode 100644
index e74600712cf..00000000000
--- a/dev-ml/qcheck/qcheck-0.5.3.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-OASIS_BUILD_TESTS=1
-OASIS_BUILD_DOCS=1
-
-inherit oasis
-
-DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
-HOMEPAGE="https://github.com/c-cube/qcheck/"
-SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-RDEPEND="dev-ml/ounit:=
- !<dev-ml/iTeML-2.5"
-DEPEND="${RDEPEND}
- dev-ml/ocamlbuild"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2017-08-22 7:02 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2017-08-22 7:02 UTC (permalink / raw
To: gentoo-commits
commit: 0d1edab059883ce8bff3c63ec36d00c101b0a847
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Aug 22 07:01:59 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Aug 22 07:01:59 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0d1edab0
dev-ml/qcheck: bump to 0.7
Package-Manager: Portage-2.3.8, Repoman-2.3.3
dev-ml/qcheck/Manifest | 1 +
dev-ml/qcheck/qcheck-0.7.ebuild | 23 +++++++++++++++++++++++
2 files changed, 24 insertions(+)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 7a43c4ed076..e55d51b0eb9 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1 +1,2 @@
DIST qcheck-0.6.tar.gz 255625 SHA256 0293b859ae67a2ec58735331c73ac157b5bad380da8538181418410175a8391b SHA512 e4298f00c49febe36ae64f287e032081bb2d7713d9412db95441d6b84fb3030f45d07519369ba00be81615a737dc45a246d609772b318084a2b2a28e77e05e1c WHIRLPOOL ca120e08c01c02a8aaf8ecba534db7616b6c0dd255191d72d2c2b989157822f2be6a891f02267cc378d9a0beaee28ace3a2696d29dfd57db45268182e4e8c9ef
+DIST qcheck-0.7.tar.gz 257935 SHA256 136d9134e2274f7eaf8021bc205a6008dcaa07612725db1ea8da98505d0e55c4 SHA512 3082029a09d5efe3af0cb8fcd0bd08f11dd1066d5bffc6beaac16c7244b07286b3ae93931e699f22c977ad4d6ba050dff69b133ce3492455d6932a9e0cc304f7 WHIRLPOOL d26a194352eebb5ab9e358224c44dc603e2031979eff4d46417465d7cde0ad22f9a6549c930f5cd8bd6c9c970cb18c85281c71c602aa688fcde097a6f250dea1
diff --git a/dev-ml/qcheck/qcheck-0.7.ebuild b/dev-ml/qcheck/qcheck-0.7.ebuild
new file mode 100644
index 00000000000..63578ec2240
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.7.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+OASIS_BUILD_TESTS=1
+OASIS_BUILD_DOCS=1
+
+inherit oasis
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck/"
+SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND="dev-ml/ounit:=
+ !<dev-ml/iTeML-2.5"
+DEPEND="${RDEPEND}
+ dev-ml/ocamlbuild"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2017-05-30 18:08 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2017-05-30 18:08 UTC (permalink / raw
To: gentoo-commits
commit: 3b557fa779fa9cda63ee0c92270564d7547be223
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue May 30 14:35:48 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue May 30 18:08:29 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3b557fa7
dev-ml/qcheck: bump to 0.6
Package-Manager: Portage-2.3.6, Repoman-2.3.2
dev-ml/qcheck/Manifest | 1 +
dev-ml/qcheck/qcheck-0.6.ebuild | 23 +++++++++++++++++++++++
2 files changed, 24 insertions(+)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 6ed8e17d95d..5def6263bba 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1,3 +1,4 @@
DIST qcheck-0.5.2.tar.gz 154637 SHA256 4ec34a0b3a241d41f9af2d7f4fb3947dba3646856b8db252c66c7380d7f3e316 SHA512 35350914bb37f677b029293922fcc6cd9dfb2e6871665dfaace17c61f468c9dd052870d62b0cdb80912430142f80625b89c615dbd7e572c0dce5754217900883 WHIRLPOOL 3b7f8a51335bdad443ca65f690ce39e9cd9e9c2c8cf14c52c9a836bab1fcda4bb26853f6703a4c58e08e0ff3690816683bd880a18f753607fb5df2d55c00b12a
DIST qcheck-0.5.3.1.tar.gz 212613 SHA256 46c1d1cab40e85b07eed1ff5a4b0ae3c6bfa62ad8d8d4d4af13986c5cabb41ff SHA512 7c13923b39be2de04a11bca9e7bb91da81319113a601af0939a54835c0b6021d1b21f36211eb5755faa46f84dc7c04d857e775b8dd57c97b056152a85e07c113 WHIRLPOOL 63b0724bad0e6dfbac7b4b1425b2b8a136c5eb4d778770c0b8101513a090b2c3f0f0d9f42d8e12718bcf611e5433de074400a7c4f5f9d8930806570321ac7413
DIST qcheck-0.5.3.tar.gz 179444 SHA256 297afc9a68d1873ea4bfbd74da42df9e69b368712f3ba81ab135b6c8761967ac SHA512 ede60f87b4cdf63e123aa7f2b9c8370d8538077eaea41e32439610bebdd990d539dc54db8a41c94b506a8a18235636031a49b1985dd1c4e05ae13509d27a1290 WHIRLPOOL befffb59bcef9253a7625caccf85546d3db968397e9e934c4ab557c22ad67c72a11a1d0dddaafca66ca665f717b6a6782a8dd624b788b1602f2d9f63acad27ea
+DIST qcheck-0.6.tar.gz 255625 SHA256 0293b859ae67a2ec58735331c73ac157b5bad380da8538181418410175a8391b SHA512 e4298f00c49febe36ae64f287e032081bb2d7713d9412db95441d6b84fb3030f45d07519369ba00be81615a737dc45a246d609772b318084a2b2a28e77e05e1c WHIRLPOOL ca120e08c01c02a8aaf8ecba534db7616b6c0dd255191d72d2c2b989157822f2be6a891f02267cc378d9a0beaee28ace3a2696d29dfd57db45268182e4e8c9ef
diff --git a/dev-ml/qcheck/qcheck-0.6.ebuild b/dev-ml/qcheck/qcheck-0.6.ebuild
new file mode 100644
index 00000000000..e74600712cf
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.6.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+OASIS_BUILD_TESTS=1
+OASIS_BUILD_DOCS=1
+
+inherit oasis
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck/"
+SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND="dev-ml/ounit:=
+ !<dev-ml/iTeML-2.5"
+DEPEND="${RDEPEND}
+ dev-ml/ocamlbuild"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2017-01-28 20:13 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2017-01-28 20:13 UTC (permalink / raw
To: gentoo-commits
commit: 0cacebf369e9e61d771e65960bb4cd94d2d41b88
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Sat Jan 28 17:12:04 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sat Jan 28 20:13:19 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0cacebf3
dev-ml/qcheck: bump to 0.5.3.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/qcheck/Manifest | 1 +
dev-ml/qcheck/qcheck-0.5.3.1.ebuild | 24 ++++++++++++++++++++++++
2 files changed, 25 insertions(+)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index b07b154..6ed8e17 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1,2 +1,3 @@
DIST qcheck-0.5.2.tar.gz 154637 SHA256 4ec34a0b3a241d41f9af2d7f4fb3947dba3646856b8db252c66c7380d7f3e316 SHA512 35350914bb37f677b029293922fcc6cd9dfb2e6871665dfaace17c61f468c9dd052870d62b0cdb80912430142f80625b89c615dbd7e572c0dce5754217900883 WHIRLPOOL 3b7f8a51335bdad443ca65f690ce39e9cd9e9c2c8cf14c52c9a836bab1fcda4bb26853f6703a4c58e08e0ff3690816683bd880a18f753607fb5df2d55c00b12a
+DIST qcheck-0.5.3.1.tar.gz 212613 SHA256 46c1d1cab40e85b07eed1ff5a4b0ae3c6bfa62ad8d8d4d4af13986c5cabb41ff SHA512 7c13923b39be2de04a11bca9e7bb91da81319113a601af0939a54835c0b6021d1b21f36211eb5755faa46f84dc7c04d857e775b8dd57c97b056152a85e07c113 WHIRLPOOL 63b0724bad0e6dfbac7b4b1425b2b8a136c5eb4d778770c0b8101513a090b2c3f0f0d9f42d8e12718bcf611e5433de074400a7c4f5f9d8930806570321ac7413
DIST qcheck-0.5.3.tar.gz 179444 SHA256 297afc9a68d1873ea4bfbd74da42df9e69b368712f3ba81ab135b6c8761967ac SHA512 ede60f87b4cdf63e123aa7f2b9c8370d8538077eaea41e32439610bebdd990d539dc54db8a41c94b506a8a18235636031a49b1985dd1c4e05ae13509d27a1290 WHIRLPOOL befffb59bcef9253a7625caccf85546d3db968397e9e934c4ab557c22ad67c72a11a1d0dddaafca66ca665f717b6a6782a8dd624b788b1602f2d9f63acad27ea
diff --git a/dev-ml/qcheck/qcheck-0.5.3.1.ebuild b/dev-ml/qcheck/qcheck-0.5.3.1.ebuild
new file mode 100644
index 00000000..7b32be4
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.5.3.1.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+OASIS_BUILD_TESTS=1
+OASIS_BUILD_DOCS=1
+
+inherit oasis
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck/"
+SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND="dev-ml/ounit:=
+ !<dev-ml/iTeML-2.5"
+DEPEND="${RDEPEND}
+ dev-ml/ocamlbuild"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2017-01-25 10:37 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2017-01-25 10:37 UTC (permalink / raw
To: gentoo-commits
commit: 79d597d2af0875709cbd7623e3d2274973fbaa50
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 25 10:36:44 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Wed Jan 25 10:37:19 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=79d597d2
dev-ml/qcheck: bump to 0.5.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/qcheck/Manifest | 1 +
dev-ml/qcheck/qcheck-0.5.3.ebuild | 24 ++++++++++++++++++++++++
2 files changed, 25 insertions(+)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 2f1e507..b07b154 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1 +1,2 @@
DIST qcheck-0.5.2.tar.gz 154637 SHA256 4ec34a0b3a241d41f9af2d7f4fb3947dba3646856b8db252c66c7380d7f3e316 SHA512 35350914bb37f677b029293922fcc6cd9dfb2e6871665dfaace17c61f468c9dd052870d62b0cdb80912430142f80625b89c615dbd7e572c0dce5754217900883 WHIRLPOOL 3b7f8a51335bdad443ca65f690ce39e9cd9e9c2c8cf14c52c9a836bab1fcda4bb26853f6703a4c58e08e0ff3690816683bd880a18f753607fb5df2d55c00b12a
+DIST qcheck-0.5.3.tar.gz 179444 SHA256 297afc9a68d1873ea4bfbd74da42df9e69b368712f3ba81ab135b6c8761967ac SHA512 ede60f87b4cdf63e123aa7f2b9c8370d8538077eaea41e32439610bebdd990d539dc54db8a41c94b506a8a18235636031a49b1985dd1c4e05ae13509d27a1290 WHIRLPOOL befffb59bcef9253a7625caccf85546d3db968397e9e934c4ab557c22ad67c72a11a1d0dddaafca66ca665f717b6a6782a8dd624b788b1602f2d9f63acad27ea
diff --git a/dev-ml/qcheck/qcheck-0.5.3.ebuild b/dev-ml/qcheck/qcheck-0.5.3.ebuild
new file mode 100644
index 00000000..7b32be4
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.5.3.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+OASIS_BUILD_TESTS=1
+OASIS_BUILD_DOCS=1
+
+inherit oasis
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck/"
+SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND="dev-ml/ounit:=
+ !<dev-ml/iTeML-2.5"
+DEPEND="${RDEPEND}
+ dev-ml/ocamlbuild"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2017-01-24 11:50 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2017-01-24 11:50 UTC (permalink / raw
To: gentoo-commits
commit: 9b1ffe84684fa570adfdb45407dfd4f70bc9c0b3
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 24 11:44:20 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Jan 24 11:50:27 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9b1ffe84
dev-ml/qcheck: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/qcheck/Manifest | 2 --
dev-ml/qcheck/qcheck-0.5.1.ebuild | 21 ---------------------
dev-ml/qcheck/qcheck-0.5.ebuild | 21 ---------------------
3 files changed, 44 deletions(-)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 5c8edbe..2f1e507 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1,3 +1 @@
-DIST qcheck-0.5.1.tar.gz 128381 SHA256 205ae6ffe7d5357d2a7edc6535a385edd138c078ad000f11e892eba9c85b0c66 SHA512 3ec31ca26d5e271606a09e7ba2df5d38efe6bc872d4818fd7a3f00117d6890959c5229d6506da10623d975122f2bcdbb33fb6806ca61aae0ed781fca9628a80c WHIRLPOOL ac02fe9789968ecdc7f2b2c972ca32bd81813c955dc7cb5a7e9dd5569951c5a2a56874f4efa2d630b48faa111ea0e1cafa4c72ff1a7b8333fc794af05895adb7
DIST qcheck-0.5.2.tar.gz 154637 SHA256 4ec34a0b3a241d41f9af2d7f4fb3947dba3646856b8db252c66c7380d7f3e316 SHA512 35350914bb37f677b029293922fcc6cd9dfb2e6871665dfaace17c61f468c9dd052870d62b0cdb80912430142f80625b89c615dbd7e572c0dce5754217900883 WHIRLPOOL 3b7f8a51335bdad443ca65f690ce39e9cd9e9c2c8cf14c52c9a836bab1fcda4bb26853f6703a4c58e08e0ff3690816683bd880a18f753607fb5df2d55c00b12a
-DIST qcheck-0.5.tar.gz 101731 SHA256 930d035981b91617c7f7104228c51741d2b9116094d47ea2a8260091fd80bb3f SHA512 449a73298eacd1348058f8307af3d702007049d4516e2a86214c07968b9b77fec5fa7006bfc681ec6ae6cb8561ee9f6353649b97c698ef338576026af340d5fa WHIRLPOOL 01db048a5db094c51640514b723a752a542535243b613b7877c0095ada9dff9442a03d60e804f3a2e4fed592dda269151f4f8698e2d4a3bfda9f68cfe0bbf5eb
diff --git a/dev-ml/qcheck/qcheck-0.5.1.ebuild b/dev-ml/qcheck/qcheck-0.5.1.ebuild
deleted file mode 100644
index 536e951..00000000
--- a/dev-ml/qcheck/qcheck-0.5.1.ebuild
+++ /dev/null
@@ -1,21 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit oasis
-
-DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
-HOMEPAGE="https://github.com/c-cube/qcheck/"
-SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-RDEPEND="dev-ml/ounit:=
- !<dev-ml/iTeML-2.5"
-DEPEND="${RDEPEND}
- dev-ml/ocamlbuild"
diff --git a/dev-ml/qcheck/qcheck-0.5.ebuild b/dev-ml/qcheck/qcheck-0.5.ebuild
deleted file mode 100644
index 8a050df..00000000
--- a/dev-ml/qcheck/qcheck-0.5.ebuild
+++ /dev/null
@@ -1,21 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit oasis
-
-DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
-HOMEPAGE="https://github.com/c-cube/qcheck/"
-SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-RDEPEND="dev-ml/ounit:=
- !<dev-ml/iTeML-2.5"
-DEPEND="${RDEPEND}
- dev-ml/ocamlbuild"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2017-01-13 7:56 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2017-01-13 7:56 UTC (permalink / raw
To: gentoo-commits
commit: ddc6cb3fcfc6c253890485419106a7cfe43444fd
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 13 07:40:59 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Jan 13 07:56:47 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ddc6cb3f
dev-ml/qcheck: bump to 0.5.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/qcheck/Manifest | 1 +
dev-ml/qcheck/qcheck-0.5.2.ebuild | 21 +++++++++++++++++++++
2 files changed, 22 insertions(+)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 4dd59ba..5c8edbe 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1,2 +1,3 @@
DIST qcheck-0.5.1.tar.gz 128381 SHA256 205ae6ffe7d5357d2a7edc6535a385edd138c078ad000f11e892eba9c85b0c66 SHA512 3ec31ca26d5e271606a09e7ba2df5d38efe6bc872d4818fd7a3f00117d6890959c5229d6506da10623d975122f2bcdbb33fb6806ca61aae0ed781fca9628a80c WHIRLPOOL ac02fe9789968ecdc7f2b2c972ca32bd81813c955dc7cb5a7e9dd5569951c5a2a56874f4efa2d630b48faa111ea0e1cafa4c72ff1a7b8333fc794af05895adb7
+DIST qcheck-0.5.2.tar.gz 154637 SHA256 4ec34a0b3a241d41f9af2d7f4fb3947dba3646856b8db252c66c7380d7f3e316 SHA512 35350914bb37f677b029293922fcc6cd9dfb2e6871665dfaace17c61f468c9dd052870d62b0cdb80912430142f80625b89c615dbd7e572c0dce5754217900883 WHIRLPOOL 3b7f8a51335bdad443ca65f690ce39e9cd9e9c2c8cf14c52c9a836bab1fcda4bb26853f6703a4c58e08e0ff3690816683bd880a18f753607fb5df2d55c00b12a
DIST qcheck-0.5.tar.gz 101731 SHA256 930d035981b91617c7f7104228c51741d2b9116094d47ea2a8260091fd80bb3f SHA512 449a73298eacd1348058f8307af3d702007049d4516e2a86214c07968b9b77fec5fa7006bfc681ec6ae6cb8561ee9f6353649b97c698ef338576026af340d5fa WHIRLPOOL 01db048a5db094c51640514b723a752a542535243b613b7877c0095ada9dff9442a03d60e804f3a2e4fed592dda269151f4f8698e2d4a3bfda9f68cfe0bbf5eb
diff --git a/dev-ml/qcheck/qcheck-0.5.2.ebuild b/dev-ml/qcheck/qcheck-0.5.2.ebuild
new file mode 100644
index 00000000..536e951
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.5.2.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit oasis
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck/"
+SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND="dev-ml/ounit:=
+ !<dev-ml/iTeML-2.5"
+DEPEND="${RDEPEND}
+ dev-ml/ocamlbuild"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2017-01-13 7:56 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2017-01-13 7:56 UTC (permalink / raw
To: gentoo-commits
commit: 7ede2fc3550fd58decff2d8075e7d2f8f99d53c8
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 13 07:41:44 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Jan 13 07:56:47 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7ede2fc3
dev-ml/qcheck: set proper subslot
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/qcheck/qcheck-0.5.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/qcheck/qcheck-0.5.2.ebuild b/dev-ml/qcheck/qcheck-0.5.2.ebuild
index 536e951..5f3e0df 100644
--- a/dev-ml/qcheck/qcheck-0.5.2.ebuild
+++ b/dev-ml/qcheck/qcheck-0.5.2.ebuild
@@ -11,7 +11,7 @@ HOMEPAGE="https://github.com/c-cube/qcheck/"
SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="LGPL-2.1"
-SLOT="0"
+SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE=""
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2017-01-09 11:08 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2017-01-09 11:08 UTC (permalink / raw
To: gentoo-commits
commit: df027443966eca038ba82c5e0732fb8f518f293c
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 9 10:16:55 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Mon Jan 9 11:08:24 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=df027443
dev-ml/qcheck: bump to 0.5.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/qcheck/Manifest | 1 +
dev-ml/qcheck/qcheck-0.5.1.ebuild | 21 +++++++++++++++++++++
2 files changed, 22 insertions(+)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 385ff42..4dd59ba 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1 +1,2 @@
+DIST qcheck-0.5.1.tar.gz 128381 SHA256 205ae6ffe7d5357d2a7edc6535a385edd138c078ad000f11e892eba9c85b0c66 SHA512 3ec31ca26d5e271606a09e7ba2df5d38efe6bc872d4818fd7a3f00117d6890959c5229d6506da10623d975122f2bcdbb33fb6806ca61aae0ed781fca9628a80c WHIRLPOOL ac02fe9789968ecdc7f2b2c972ca32bd81813c955dc7cb5a7e9dd5569951c5a2a56874f4efa2d630b48faa111ea0e1cafa4c72ff1a7b8333fc794af05895adb7
DIST qcheck-0.5.tar.gz 101731 SHA256 930d035981b91617c7f7104228c51741d2b9116094d47ea2a8260091fd80bb3f SHA512 449a73298eacd1348058f8307af3d702007049d4516e2a86214c07968b9b77fec5fa7006bfc681ec6ae6cb8561ee9f6353649b97c698ef338576026af340d5fa WHIRLPOOL 01db048a5db094c51640514b723a752a542535243b613b7877c0095ada9dff9442a03d60e804f3a2e4fed592dda269151f4f8698e2d4a3bfda9f68cfe0bbf5eb
diff --git a/dev-ml/qcheck/qcheck-0.5.1.ebuild b/dev-ml/qcheck/qcheck-0.5.1.ebuild
new file mode 100644
index 00000000..536e951
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.5.1.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit oasis
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck/"
+SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND="dev-ml/ounit:=
+ !<dev-ml/iTeML-2.5"
+DEPEND="${RDEPEND}
+ dev-ml/ocamlbuild"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2016-12-19 12:15 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2016-12-19 12:15 UTC (permalink / raw
To: gentoo-commits
commit: 5c833c5af3096aa245866a21b2c2c0b2654e71a7
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 19 10:30:03 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Mon Dec 19 12:07:26 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5c833c5a
dev-ml/qcheck: readd since it is split again from iTeML.
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/qcheck/Manifest | 1 +
dev-ml/qcheck/metadata.xml | 8 ++++++++
dev-ml/qcheck/qcheck-0.5.ebuild | 21 +++++++++++++++++++++
3 files changed, 30 insertions(+)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
new file mode 100644
index 00000000..385ff42
--- /dev/null
+++ b/dev-ml/qcheck/Manifest
@@ -0,0 +1 @@
+DIST qcheck-0.5.tar.gz 101731 SHA256 930d035981b91617c7f7104228c51741d2b9116094d47ea2a8260091fd80bb3f SHA512 449a73298eacd1348058f8307af3d702007049d4516e2a86214c07968b9b77fec5fa7006bfc681ec6ae6cb8561ee9f6353649b97c698ef338576026af340d5fa WHIRLPOOL 01db048a5db094c51640514b723a752a542535243b613b7877c0095ada9dff9442a03d60e804f3a2e4fed592dda269151f4f8698e2d4a3bfda9f68cfe0bbf5eb
diff --git a/dev-ml/qcheck/metadata.xml b/dev-ml/qcheck/metadata.xml
new file mode 100644
index 00000000..ffa6c6b
--- /dev/null
+++ b/dev-ml/qcheck/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+ </maintainer>
+</pkgmetadata>
diff --git a/dev-ml/qcheck/qcheck-0.5.ebuild b/dev-ml/qcheck/qcheck-0.5.ebuild
new file mode 100644
index 00000000..8a050df
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.5.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit oasis
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck/"
+SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND="dev-ml/ounit:=
+ !<dev-ml/iTeML-2.5"
+DEPEND="${RDEPEND}
+ dev-ml/ocamlbuild"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2016-10-07 11:18 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2016-10-07 11:18 UTC (permalink / raw
To: gentoo-commits
commit: 552272f51164ddd25e7885556180e82c20fab7d2
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Oct 7 11:16:48 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Oct 7 11:16:48 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=552272f5
dev-ml/qcheck: remove, superseded by iteml
dev-ml/qcheck/Manifest | 1 -
dev-ml/qcheck/metadata.xml | 23 -----------------------
dev-ml/qcheck/qcheck-0.4.0.1.ebuild | 32 --------------------------------
3 files changed, 56 deletions(-)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
deleted file mode 100644
index 9dba71e..00000000
--- a/dev-ml/qcheck/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST qcheck-0.4.0.1.tar.gz 55783 SHA256 4c90f4babc35ed9672b9a48d69c480812b030e7194c617614a8b2d11d023ad65 SHA512 9a8476749ee5d97708d3f074e3c948511231aef8a49029c8d284a9d1413f2f5bb3b6bd048ec0998e4e762171626613a81f9275224ad16900094e735f4c82f057 WHIRLPOOL be8dcef3e6b8761fac35df1c41b2adc49f8afeaf7d06c1ba92ebba7ce6ac4a7f0fab213e2360277c074051f5ac48cad0b45069a6a1b8b3b3a6edcac72b769e21
diff --git a/dev-ml/qcheck/metadata.xml b/dev-ml/qcheck/metadata.xml
deleted file mode 100644
index 54a420d..00000000
--- a/dev-ml/qcheck/metadata.xml
+++ /dev/null
@@ -1,23 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
- <maintainer type="person">
- <email>tomboy64@sina.cn</email>
- <name>M.B.</name>
- <description>Maintainer, assign bugs to him</description>
- </maintainer>
- <maintainer type="project">
- <email>ml@gentoo.org</email>
- <name>Gentoo ML Project</name>
- </maintainer>
- <maintainer type="project">
- <email>proxy-maint@gentoo.org</email>
- <name>Proxy Maintainers</name>
- </maintainer>
- <use>
- <flag name="ounit">Enable integration with ounit</flag>
- </use>
- <upstream>
- <remote-id type="github">c-cube/qcheck</remote-id>
- </upstream>
-</pkgmetadata>
diff --git a/dev-ml/qcheck/qcheck-0.4.0.1.ebuild b/dev-ml/qcheck/qcheck-0.4.0.1.ebuild
deleted file mode 100644
index 30bdabd..00000000
--- a/dev-ml/qcheck/qcheck-0.4.0.1.ebuild
+++ /dev/null
@@ -1,32 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-OASIS_BUILD_DOCS=1
-
-inherit oasis
-
-DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
-HOMEPAGE="https://github.com/c-cube/qcheck"
-SRC_URI="https://github.com/c-cube/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="BSD-2"
-SLOT="0"
-KEYWORDS="~amd64"
-IUSE="+ounit"
-
-RDEPEND="
- ounit? ( >=dev-ml/ounit-2:= )
-"
-DEPEND="
- ${RDEPEND}
-"
-
-src_configure() {
- oasis_configure_opts="
- $(use_enable ounit)
- " oasis_src_configure
-}
-
-DOCS=( CHANGELOG.md README.md )
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2016-02-13 6:29 Ian Delaney
0 siblings, 0 replies; 18+ messages in thread
From: Ian Delaney @ 2016-02-13 6:29 UTC (permalink / raw
To: gentoo-commits
commit: b3776eaf2cebc09f820854fd81e2ae40bd91656a
Author: Matthew Brewer <tomboy64 <AT> sina <DOT> cn>
AuthorDate: Sat Feb 13 00:45:03 2016 +0000
Commit: Ian Delaney <idella4 <AT> gentoo <DOT> org>
CommitDate: Sat Feb 13 00:54:08 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b3776eaf
dev-ml/qcheck: fix remote-id in metadata.xml
Package-Manager: portage-2.2.26
RepoMan-Options: --ignore-arches
dev-ml/qcheck/metadata.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/qcheck/metadata.xml b/dev-ml/qcheck/metadata.xml
index c883dd7..54a420d 100644
--- a/dev-ml/qcheck/metadata.xml
+++ b/dev-ml/qcheck/metadata.xml
@@ -18,6 +18,6 @@
<flag name="ounit">Enable integration with ounit</flag>
</use>
<upstream>
- <remote-id type="github">OCamlPro/ocplib-endian</remote-id>
+ <remote-id type="github">c-cube/qcheck</remote-id>
</upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2016-02-10 10:32 Ian Delaney
0 siblings, 0 replies; 18+ messages in thread
From: Ian Delaney @ 2016-02-10 10:32 UTC (permalink / raw
To: gentoo-commits
commit: 9e8f3de8e138f227b0f1aed09c766d6830a9a1b1
Author: Matthew Brewer <tomboy64 <AT> sina <DOT> cn>
AuthorDate: Wed Feb 10 09:37:44 2016 +0000
Commit: Ian Delaney <idella4 <AT> gentoo <DOT> org>
CommitDate: Wed Feb 10 09:37:44 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e8f3de8
dev-ml/qcheck: update metadata.xml to contain a name-tag for tomboy64 <AT> sina.cn
Package-Manager: portage-2.2.26
RepoMan-Options: --ignore-arches
dev-ml/qcheck/metadata.xml | 36 +++++++++++++++++++-----------------
1 file changed, 19 insertions(+), 17 deletions(-)
diff --git a/dev-ml/qcheck/metadata.xml b/dev-ml/qcheck/metadata.xml
index cf4a3c1..c883dd7 100644
--- a/dev-ml/qcheck/metadata.xml
+++ b/dev-ml/qcheck/metadata.xml
@@ -1,21 +1,23 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="person">
- <email>tomboy64@sina.cn</email>
- </maintainer>
- <maintainer type="project">
- <email>ml@gentoo.org</email>
- <name>Gentoo ML Project</name>
- </maintainer>
- <maintainer type="project">
- <email>proxy-maint@gentoo.org</email>
- <name>Proxy Maintainers</name>
- </maintainer>
- <use>
- <flag name="ounit">Enable integration with ounit</flag>
- </use>
- <upstream>
- <remote-id type="github">c-cube/qcheck</remote-id>
- </upstream>
+ <maintainer type="person">
+ <email>tomboy64@sina.cn</email>
+ <name>M.B.</name>
+ <description>Maintainer, assign bugs to him</description>
+ </maintainer>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+ </maintainer>
+ <maintainer type="project">
+ <email>proxy-maint@gentoo.org</email>
+ <name>Proxy Maintainers</name>
+ </maintainer>
+ <use>
+ <flag name="ounit">Enable integration with ounit</flag>
+ </use>
+ <upstream>
+ <remote-id type="github">OCamlPro/ocplib-endian</remote-id>
+ </upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
@ 2015-10-16 17:51 Alexis Ballier
0 siblings, 0 replies; 18+ messages in thread
From: Alexis Ballier @ 2015-10-16 17:51 UTC (permalink / raw
To: gentoo-commits
commit: 9b55086ca66bd6cdfb25d21fa3c198055a770c94
Author: Matthew Brewer <tomboy64 <AT> sina <DOT> cn>
AuthorDate: Fri Oct 16 11:59:04 2015 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Oct 16 17:47:59 2015 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9b55086c
dev-ml/qcheck: new ebuild
- needed as a transitive dependency for Libre S3 1.1 (net-misc/libres3)
dev-ml/qcheck/Manifest | 1 +
dev-ml/qcheck/metadata.xml | 12 ++++++++++++
dev-ml/qcheck/qcheck-0.4.0.1.ebuild | 32 ++++++++++++++++++++++++++++++++
3 files changed, 45 insertions(+)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
new file mode 100644
index 0000000..9dba71e
--- /dev/null
+++ b/dev-ml/qcheck/Manifest
@@ -0,0 +1 @@
+DIST qcheck-0.4.0.1.tar.gz 55783 SHA256 4c90f4babc35ed9672b9a48d69c480812b030e7194c617614a8b2d11d023ad65 SHA512 9a8476749ee5d97708d3f074e3c948511231aef8a49029c8d284a9d1413f2f5bb3b6bd048ec0998e4e762171626613a81f9275224ad16900094e735f4c82f057 WHIRLPOOL be8dcef3e6b8761fac35df1c41b2adc49f8afeaf7d06c1ba92ebba7ce6ac4a7f0fab213e2360277c074051f5ac48cad0b45069a6a1b8b3b3a6edcac72b769e21
diff --git a/dev-ml/qcheck/metadata.xml b/dev-ml/qcheck/metadata.xml
new file mode 100644
index 0000000..04ee825
--- /dev/null
+++ b/dev-ml/qcheck/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <herd>ml</herd>
+ <herd>proxy-maintainers</herd>
+ <maintainer>
+ <email>tomboy64@sina.cn</email>
+ </maintainer>
+ <use>
+ <flag name="ounit">Enable integration with ounit</flag>
+ </use>
+</pkgmetadata>
diff --git a/dev-ml/qcheck/qcheck-0.4.0.1.ebuild b/dev-ml/qcheck/qcheck-0.4.0.1.ebuild
new file mode 100644
index 0000000..30bdabd
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.4.0.1.ebuild
@@ -0,0 +1,32 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+OASIS_BUILD_DOCS=1
+
+inherit oasis
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck"
+SRC_URI="https://github.com/c-cube/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD-2"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="+ounit"
+
+RDEPEND="
+ ounit? ( >=dev-ml/ounit-2:= )
+"
+DEPEND="
+ ${RDEPEND}
+"
+
+src_configure() {
+ oasis_configure_opts="
+ $(use_enable ounit)
+ " oasis_src_configure
+}
+
+DOCS=( CHANGELOG.md README.md )
^ permalink raw reply related [flat|nested] 18+ messages in thread
end of thread, other threads:[~2024-07-13 9:30 UTC | newest]
Thread overview: 18+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-01-28 13:26 [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/ Alfredo Tupone
-- strict thread matches above, loose matches on Subject: below --
2024-07-13 9:30 Alfredo Tupone
2021-12-07 21:58 Maciej Barć
2020-12-02 17:46 Aaron Bauman
2017-08-22 7:02 Alexis Ballier
2017-08-22 7:02 Alexis Ballier
2017-05-30 18:08 Alexis Ballier
2017-01-28 20:13 Alexis Ballier
2017-01-25 10:37 Alexis Ballier
2017-01-24 11:50 Alexis Ballier
2017-01-13 7:56 Alexis Ballier
2017-01-13 7:56 Alexis Ballier
2017-01-09 11:08 Alexis Ballier
2016-12-19 12:15 Alexis Ballier
2016-10-07 11:18 Alexis Ballier
2016-02-13 6:29 Ian Delaney
2016-02-10 10:32 Ian Delaney
2015-10-16 17:51 Alexis Ballier
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox