Merge pull request #3134 from palmskog/quickchick-2.0.3-8.20

coq-quickchick.2.0.3 doesn't work on Coq 8.20
coq · Aug 2, 2024 · ddb2064 · ddb2064
2 parents 92e8f23 + 471671a
commit ddb2064
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/released/packages/coq-quickchick/coq-quickchick.2.0.3/opam b/released/packages/coq-quickchick/coq-quickchick.2.0.3/opam
@@ -26,15 +26,15 @@ 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"
   "ocamlfind"
   "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"