diff --git a/released/packages/coq-quickchick/coq-quickchick.2.0.3/opam b/released/packages/coq-quickchick/coq-quickchick.2.0.3/opam
index 55ce6fad31..922af14ee7 100644
--- a/released/packages/coq-quickchick/coq-quickchick.2.0.3/opam
+++ b/released/packages/coq-quickchick/coq-quickchick.2.0.3/opam
@@ -26,7 +26,7 @@ depends: [
   "ocaml" {>= "4.07"}
   "menhir" {build}
   "cppo" {build & >= "1.6.8"}
-  "coq" {>= "8.15~"}
+  "coq" {>= "8.15~" & < "8.21"}
   "coq-ext-lib"
   "coq-mathcomp-ssreflect"
   "coq-simple-io"
@@ -34,7 +34,7 @@ depends: [
   "ocamlbuild"
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test}]
 ]
 dev-repo: "git+https://github.com/QuickChick/QuickChick.git"