diff --git a/packages/ppx_deriving_qcheck/ppx_deriving_qcheck.0.2.0/opam b/packages/ppx_deriving_qcheck/ppx_deriving_qcheck.0.2.0/opam
new file mode 100644
index 000000000000..0bcf30ab2a18
--- /dev/null
+++ b/packages/ppx_deriving_qcheck/ppx_deriving_qcheck.0.2.0/opam
@@ -0,0 +1,30 @@
+opam-version: "2.0"
+synopsis: "PPX Deriver for QCheck"
+maintainer: "valentin.chb@gmail.com"
+authors: "the qcheck contributors"
+license: "BSD-2-Clause"
+homepage: "https://github.com/c-cube/qcheck/"
+bug-reports: "https://github.com/c-cube/qcheck/-/issues"
+depends: [
+  "dune" {>= "2.8.0"}
+  "ocaml" {>= "4.08.0"}
+  "qcheck" {>= "0.19"}
+  "ppxlib" {>= "0.22.0"}
+  "ppx_deriving" {>= "5.2.1"}
+  "odoc" {with-doc}
+  "alcotest" {with-test & >= "1.4.0"}
+  "qcheck-alcotest" {with-test & >= "0.17"}
+]
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+dev-repo: "git+https://github.com/vch9/ppx_deriving_qcheck.git"
+url {
+  src: "https://github.com/c-cube/qcheck/archive/v0.19.tar.gz"
+  checksum: [
+    "md5=45fc948709feb1b68767e05a0c05e2bf"
+    "sha512=4b8795c4da5a7989b131be7fa0c3f4d04fafce30d6103469d8de44233a28fd2382f4e422a8fb94a73f76a7f100e144318d8b2256e11eff1789c2a425e18e4719"
+  ]
+}
\ No newline at end of file
diff --git a/packages/qcheck-alcotest/qcheck-alcotest.0.19/opam b/packages/qcheck-alcotest/qcheck-alcotest.0.19/opam
new file mode 100644
index 000000000000..a2ae42070cc0
--- /dev/null
+++ b/packages/qcheck-alcotest/qcheck-alcotest.0.19/opam
@@ -0,0 +1,32 @@
+opam-version: "2.0"
+synopsis: "Alcotest backend for qcheck"
+maintainer: "simon.cruanes.2007@m4x.org"
+authors: "the qcheck contributors"
+license: "BSD-2-Clause"
+tags: ["test" "quickcheck" "qcheck" "alcotest"]
+homepage: "https://github.com/c-cube/qcheck/"
+doc: "http://c-cube.github.io/qcheck/"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+depends: [
+  "dune" {>= "2.2"}
+  "base-bytes"
+  "base-unix"
+  "qcheck-core" {= version}
+  "alcotest" {>= "0.8.1"}
+  "odoc" {with-doc}
+  "ocaml" {>= "4.08.0"}
+]
+available: arch != "ppc64"
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+url {
+  src: "https://github.com/c-cube/qcheck/archive/v0.19.tar.gz"
+  checksum: [
+    "md5=45fc948709feb1b68767e05a0c05e2bf"
+    "sha512=4b8795c4da5a7989b131be7fa0c3f4d04fafce30d6103469d8de44233a28fd2382f4e422a8fb94a73f76a7f100e144318d8b2256e11eff1789c2a425e18e4719"
+  ]
+}
\ No newline at end of file
diff --git a/packages/qcheck-core/qcheck-core.0.19/opam b/packages/qcheck-core/qcheck-core.0.19/opam
new file mode 100644
index 000000000000..e9ad4611c598
--- /dev/null
+++ b/packages/qcheck-core/qcheck-core.0.19/opam
@@ -0,0 +1,34 @@
+opam-version: "2.0"
+synopsis: "Core qcheck library"
+maintainer: "simon.cruanes.2007@m4x.org"
+authors: "the qcheck contributors"
+license: "BSD-2-Clause"
+tags: ["test" "property" "quickcheck"]
+homepage: "https://github.com/c-cube/qcheck/"
+doc: "http://c-cube.github.io/qcheck/"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+depends: [
+  "dune" {>= "2.2"}
+  "base-bytes"
+  "base-unix"
+  "alcotest" {with-test}
+  "odoc" {with-doc}
+  "ocaml" {>= "4.08.0"}
+]
+conflicts: [
+  "ounit" {< "2.0"}
+]
+available: arch != "ppc64"
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+url {
+  src: "https://github.com/c-cube/qcheck/archive/v0.19.tar.gz"
+  checksum: [
+    "md5=45fc948709feb1b68767e05a0c05e2bf"
+    "sha512=4b8795c4da5a7989b131be7fa0c3f4d04fafce30d6103469d8de44233a28fd2382f4e422a8fb94a73f76a7f100e144318d8b2256e11eff1789c2a425e18e4719"
+  ]
+}
\ No newline at end of file
diff --git a/packages/qcheck-ounit/qcheck-ounit.0.19/opam b/packages/qcheck-ounit/qcheck-ounit.0.19/opam
new file mode 100644
index 000000000000..acfd75d2da1c
--- /dev/null
+++ b/packages/qcheck-ounit/qcheck-ounit.0.19/opam
@@ -0,0 +1,32 @@
+opam-version: "2.0"
+synopsis: "OUnit backend for qcheck"
+maintainer: "simon.cruanes.2007@m4x.org"
+authors: "the qcheck contributors"
+license: "BSD-2-Clause"
+tags: ["qcheck" "quickcheck" "ounit"]
+homepage: "https://github.com/c-cube/qcheck/"
+doc: "http://c-cube.github.io/qcheck/"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+depends: [
+  "dune" {>= "2.2"}
+  "base-bytes"
+  "base-unix"
+  "qcheck-core" {= version}
+  "ounit2"
+  "odoc" {with-doc}
+  "ocaml" {>= "4.08.0"}
+]
+available: arch != "ppc64"
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+url {
+  src: "https://github.com/c-cube/qcheck/archive/v0.19.tar.gz"
+  checksum: [
+    "md5=45fc948709feb1b68767e05a0c05e2bf"
+    "sha512=4b8795c4da5a7989b131be7fa0c3f4d04fafce30d6103469d8de44233a28fd2382f4e422a8fb94a73f76a7f100e144318d8b2256e11eff1789c2a425e18e4719"
+  ]
+}
\ No newline at end of file
diff --git a/packages/qcheck/qcheck.0.19/opam b/packages/qcheck/qcheck.0.19/opam
new file mode 100644
index 000000000000..102c5d9f94a2
--- /dev/null
+++ b/packages/qcheck/qcheck.0.19/opam
@@ -0,0 +1,36 @@
+opam-version: "2.0"
+synopsis: "Compatibility package for qcheck"
+maintainer: "simon.cruanes.2007@m4x.org"
+authors: "the qcheck contributors"
+license: "BSD-2-Clause"
+tags: ["test" "property" "quickcheck"]
+homepage: "https://github.com/c-cube/qcheck/"
+doc: "http://c-cube.github.io/qcheck/"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+depends: [
+  "dune" {>= "2.2"}
+  "base-bytes"
+  "base-unix"
+  "qcheck-core" {= version}
+  "qcheck-ounit" {= version}
+  "alcotest" {with-test}
+  "odoc" {with-doc}
+  "ocaml" {>= "4.08.0"}
+]
+conflicts: [
+  "ounit" {< "2.0"}
+]
+available: arch != "ppc64"
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+url {
+  src: "https://github.com/c-cube/qcheck/archive/v0.19.tar.gz"
+  checksum: [
+    "md5=45fc948709feb1b68767e05a0c05e2bf"
+    "sha512=4b8795c4da5a7989b131be7fa0c3f4d04fafce30d6103469d8de44233a28fd2382f4e422a8fb94a73f76a7f100e144318d8b2256e11eff1789c2a425e18e4719"
+  ]
+}
\ No newline at end of file