diff --git a/colibri2.opam b/colibri2.opam
index 689bf16d772c0545c83d94c62833482bab8a569c..2396f7b8cc1a0cb39666beacbdc52ac4aedb9540 100644
--- a/colibri2.opam
+++ b/colibri2.opam
@@ -27,6 +27,8 @@ depends: [
   "ppx_optcomp"
   "ppx_hash"
   "ocamlgraph"
+  "qcheck"
+  "ppx_deriving_qcheck"
   "ounit2" {with-test}
   "ocaml" {>= "4.08"}
   "ocplib-simplex"
@@ -51,4 +53,9 @@ pin-depends: [
   [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
   [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
   [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "ppx_deriving_qcheck.0.2.0" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck-alcotest.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck-core.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck-ounit.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
 ]
diff --git a/colibri2.opam.template b/colibri2.opam.template
deleted file mode 100644
index d285ebc0aad6689347f1cc363403ff767741fcfc..0000000000000000000000000000000000000000
--- a/colibri2.opam.template
+++ /dev/null
@@ -1,5 +0,0 @@
-pin-depends: [
-  [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
-  [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
-  [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
-]
diff --git a/colibrics.opam b/colibrics.opam
index 6ab0410da7e4fde8c9229c4ebd3163f611c89a59..d8b2549b217f5e536ac7554ef4146b45eecf12a2 100644
--- a/colibrics.opam
+++ b/colibrics.opam
@@ -40,4 +40,9 @@ pin-depends: [
   [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
   [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
   [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "ppx_deriving_qcheck.0.2.0" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck-alcotest.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck-core.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck-ounit.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
 ]
diff --git a/colibrics.opam.template b/colibrics.opam.template
deleted file mode 100644
index d285ebc0aad6689347f1cc363403ff767741fcfc..0000000000000000000000000000000000000000
--- a/colibrics.opam.template
+++ /dev/null
@@ -1,5 +0,0 @@
-pin-depends: [
-  [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
-  [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
-  [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
-]
diff --git a/dune b/dune
index 9b7d214cb9666ef92a20b79f0c4c45d75c476175..81b443b85c783efc1f46be758a875d959c9254ed 100644
--- a/dune
+++ b/dune
@@ -1 +1,4 @@
 (vendored_dirs dolmen farith farith2)
+
+(rule (copy generic.opam.template colibrics.opam.template))
+(rule (copy generic.opam.template colibri2.opam.template))
diff --git a/dune-project b/dune-project
index 338e65f6ca63fa09a3a884bd0d6fd35dda707677..ee16549814efc8ca1794c0ae002f1b3c1d6f16cb 100644
--- a/dune-project
+++ b/dune-project
@@ -50,6 +50,8 @@
            "ppx_optcomp"
            "ppx_hash"
            "ocamlgraph"
+           "qcheck"
+           "ppx_deriving_qcheck"
            ("ounit2" :with-test)
           ("ocaml" (>= "4.08"))
            "ocplib-simplex"
diff --git a/generic.opam.template b/generic.opam.template
new file mode 100644
index 0000000000000000000000000000000000000000..0974d366c544cddb10a763ec0b8527cc6819ec7d
--- /dev/null
+++ b/generic.opam.template
@@ -0,0 +1,10 @@
+pin-depends: [
+  [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "ppx_deriving_qcheck.0.2.0" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck-alcotest.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck-core.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+  [ "qcheck-ounit.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+]