From 2cb72366d882577c74a96dde14aa4ef7cb292fcc Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Fri, 5 Jul 2024 17:01:53 +0200
Subject: [PATCH] 4 packages from c-cube/qcheck at 0.22

---
 .../qcheck-alcotest/qcheck-alcotest.0.22/opam | 35 +++++++++++++++++
 packages/qcheck-core/qcheck-core.0.22/opam    | 36 ++++++++++++++++++
 packages/qcheck-ounit/qcheck-ounit.0.22/opam  | 34 +++++++++++++++++
 packages/qcheck/qcheck.0.22/opam              | 38 +++++++++++++++++++
 4 files changed, 143 insertions(+)
 create mode 100644 packages/qcheck-alcotest/qcheck-alcotest.0.22/opam
 create mode 100644 packages/qcheck-core/qcheck-core.0.22/opam
 create mode 100644 packages/qcheck-ounit/qcheck-ounit.0.22/opam
 create mode 100644 packages/qcheck/qcheck.0.22/opam

diff --git a/packages/qcheck-alcotest/qcheck-alcotest.0.22/opam b/packages/qcheck-alcotest/qcheck-alcotest.0.22/opam
new file mode 100644
index 00000000000..07934041e35
--- /dev/null
+++ b/packages/qcheck-alcotest/qcheck-alcotest.0.22/opam
@@ -0,0 +1,35 @@
+opam-version: "2.0"
+maintainer: "simon.cruanes.2007@m4x.org"
+homepage: "https://github.com/c-cube/qcheck/"
+license: "BSD-2-Clause"
+synopsis: "Alcotest backend for qcheck"
+doc: ["http://c-cube.github.io/qcheck/"]
+tags: [
+  "test"
+  "quickcheck"
+  "qcheck"
+  "alcotest"
+]
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+depends: [
+  "dune" { >= "2.8.0" }
+  "base-unix"
+  "qcheck-core" { = version }
+  "alcotest" {>= "1.2.0"}
+  "odoc" {with-doc}
+  "ocaml" {>= "4.08.0"}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+authors: "the qcheck contributors"
+url {
+  src: "https://github.com/c-cube/qcheck/archive/v0.22.tar.gz"
+  checksum: [
+    "md5=f05bdc3a15da4c65e9e4a87f845bc1ef"
+    "sha512=2bc273d73b9732564eadb78a2ab390b85c6f9ffb7ba46d3ec8725384631f199e17937740264c550ef4f06df62ffe655f2be19259f8f4cf4c2e81010a9c1a19e3"
+  ]
+}
diff --git a/packages/qcheck-core/qcheck-core.0.22/opam b/packages/qcheck-core/qcheck-core.0.22/opam
new file mode 100644
index 00000000000..363fa7cfaca
--- /dev/null
+++ b/packages/qcheck-core/qcheck-core.0.22/opam
@@ -0,0 +1,36 @@
+opam-version: "2.0"
+maintainer: "simon.cruanes.2007@m4x.org"
+homepage: "https://github.com/c-cube/qcheck/"
+license: "BSD-2-Clause"
+synopsis: "Core qcheck library"
+doc: ["http://c-cube.github.io/qcheck/"]
+tags: [
+  "test"
+  "property"
+  "quickcheck"
+]
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+depends: [
+  "dune" { >= "2.8.0" }
+  "base-unix"
+  "alcotest" {with-test & >= "1.2.0"}
+  "odoc" {with-doc}
+  "ocaml" {>= "4.08.0"}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+conflicts: [
+  "ounit" { < "2.0" }
+]
+authors: "the qcheck contributors"
+url {
+  src: "https://github.com/c-cube/qcheck/archive/v0.22.tar.gz"
+  checksum: [
+    "md5=f05bdc3a15da4c65e9e4a87f845bc1ef"
+    "sha512=2bc273d73b9732564eadb78a2ab390b85c6f9ffb7ba46d3ec8725384631f199e17937740264c550ef4f06df62ffe655f2be19259f8f4cf4c2e81010a9c1a19e3"
+  ]
+}
diff --git a/packages/qcheck-ounit/qcheck-ounit.0.22/opam b/packages/qcheck-ounit/qcheck-ounit.0.22/opam
new file mode 100644
index 00000000000..4ad8569ac50
--- /dev/null
+++ b/packages/qcheck-ounit/qcheck-ounit.0.22/opam
@@ -0,0 +1,34 @@
+opam-version: "2.0"
+maintainer: "simon.cruanes.2007@m4x.org"
+license: "BSD-2-Clause"
+homepage: "https://github.com/c-cube/qcheck/"
+doc: ["http://c-cube.github.io/qcheck/"]
+synopsis: "OUnit backend for qcheck"
+tags: [
+  "qcheck"
+  "quickcheck"
+  "ounit"
+]
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+depends: [
+  "dune" { >= "2.8.0" }
+  "base-unix"
+  "qcheck-core" { = version }
+  "ounit2"
+  "odoc" {with-doc}
+  "ocaml" {>= "4.08.0"}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+authors: "the qcheck contributors"
+url {
+  src: "https://github.com/c-cube/qcheck/archive/v0.22.tar.gz"
+  checksum: [
+    "md5=f05bdc3a15da4c65e9e4a87f845bc1ef"
+    "sha512=2bc273d73b9732564eadb78a2ab390b85c6f9ffb7ba46d3ec8725384631f199e17937740264c550ef4f06df62ffe655f2be19259f8f4cf4c2e81010a9c1a19e3"
+  ]
+}
diff --git a/packages/qcheck/qcheck.0.22/opam b/packages/qcheck/qcheck.0.22/opam
new file mode 100644
index 00000000000..152068948d7
--- /dev/null
+++ b/packages/qcheck/qcheck.0.22/opam
@@ -0,0 +1,38 @@
+opam-version: "2.0"
+maintainer: "simon.cruanes.2007@m4x.org"
+synopsis: "Compatibility package for qcheck"
+homepage: "https://github.com/c-cube/qcheck/"
+license: "BSD-2-Clause"
+doc: ["http://c-cube.github.io/qcheck/"]
+tags: [
+  "test"
+  "property"
+  "quickcheck"
+]
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+depends: [
+  "dune" { >= "2.8.0" }
+  "base-unix"
+  "qcheck-core" { = version }
+  "qcheck-ounit" { = version }
+  "alcotest" {with-test & >= "1.2.0"}
+  "odoc" {with-doc}
+  "ocaml" {>= "4.08.0"}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+conflicts: [
+  "ounit" { < "2.0" }
+]
+authors: "the qcheck contributors"
+url {
+  src: "https://github.com/c-cube/qcheck/archive/v0.22.tar.gz"
+  checksum: [
+    "md5=f05bdc3a15da4c65e9e4a87f845bc1ef"
+    "sha512=2bc273d73b9732564eadb78a2ab390b85c6f9ffb7ba46d3ec8725384631f199e17937740264c550ef4f06df62ffe655f2be19259f8f4cf4c2e81010a9c1a19e3"
+  ]
+}