Merge pull request ocaml#23805 from jmid/opam-publish-qcheck-qcheck-a…

…lcotest-qcheck-core-qcheck-ounit.0.21.1

4 packages from c-cube/qcheck at 0.21.1

packages/qcheck-alcotest/qcheck-alcotest.0.21.1/opam

@@ -0,0 +1,36 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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-bytes"
+  "base-unix"
+  "qcheck-core" { = version }
+  "alcotest" {>= "0.8.1"}
+  "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.21.1.tar.gz"
+  checksum: [
+    "md5=39478dfe638aad53c18cd50cb42efe41"
+    "sha512=b0fec073a6ac5e52520e70670c605a8030da176f13946289de210ff95e3156c7f2664621d4ab7749bdd41967d1801804ca3b16c497d116d43918f76f7746e9ac"
+  ]
+}

packages/qcheck-core/qcheck-core.0.21.1/opam

@@ -0,0 +1,37 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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-bytes"
+  "base-unix"
+  "alcotest" {with-test}
+  "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.21.1.tar.gz"
+  checksum: [
+    "md5=39478dfe638aad53c18cd50cb42efe41"
+    "sha512=b0fec073a6ac5e52520e70670c605a8030da176f13946289de210ff95e3156c7f2664621d4ab7749bdd41967d1801804ca3b16c497d116d43918f76f7746e9ac"
+  ]
+}

packages/qcheck-ounit/qcheck-ounit.0.21.1/opam

@@ -0,0 +1,35 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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-bytes"
+  "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.21.1.tar.gz"
+  checksum: [
+    "md5=39478dfe638aad53c18cd50cb42efe41"
+    "sha512=b0fec073a6ac5e52520e70670c605a8030da176f13946289de210ff95e3156c7f2664621d4ab7749bdd41967d1801804ca3b16c497d116d43918f76f7746e9ac"
+  ]
+}

packages/qcheck/qcheck.0.21.1/opam

@@ -0,0 +1,39 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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-bytes"
+  "base-unix"
+  "qcheck-core" { = version }
+  "qcheck-ounit" { = version }
+  "alcotest" {with-test}
+  "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.21.1.tar.gz"
+  checksum: [
+    "md5=39478dfe638aad53c18cd50cb42efe41"
+    "sha512=b0fec073a6ac5e52520e70670c605a8030da176f13946289de210ff95e3156c7f2664621d4ab7749bdd41967d1801804ca3b16c497d116d43918f76f7746e9ac"
+  ]
+}