Merge pull request #3591 from Lysxia/qc-upper-bound

silene · web-flow · commit ca3244d3964e · 2025-11-25T09:36:12.000+01:00
coq-quickchick: Add upper bounds on coq and ssreflect
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.1.0/opam b/released/packages/coq-quickchick/coq-quickchick.1.1.0/opam
@@ -14,7 +14,7 @@ depends: [
   "ocaml" {>= "4.04.0"}
   "coq" {>= "8.9" < "8.10~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "coq-simple-io" {>= "1.0" < "1.1"}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.2.0/opam b/released/packages/coq-quickchick/coq-quickchick.1.2.0/opam
@@ -13,7 +13,7 @@ depends: [
   "ocaml" {>= "4.05.0"}
   "coq" {>= "8.10" < "8.11~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "coq-simple-io" {>= "1.0.0"}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.2.1/opam b/released/packages/coq-quickchick/coq-quickchick.1.2.1/opam
@@ -15,7 +15,7 @@ install: [
 depends: [
   "coq" {>= "8.10" < "8.11~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.3.0/opam b/released/packages/coq-quickchick/coq-quickchick.1.3.0/opam
@@ -16,7 +16,7 @@ install: [
 depends: [
   "coq" {>= "8.11" < "8.12~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.3.1/opam b/released/packages/coq-quickchick/coq-quickchick.1.3.1/opam
@@ -16,7 +16,7 @@ depends: [
   "ocaml" {>= "4.07"}
   "coq" {>= "8.11" < "8.12~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.3.2/opam b/released/packages/coq-quickchick/coq-quickchick.1.3.2/opam
@@ -16,7 +16,7 @@ depends: [
   "ocaml" {>= "4.07"}
   "coq" {>= "8.11" < "8.12~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.4.0/opam b/released/packages/coq-quickchick/coq-quickchick.1.4.0/opam
@@ -16,7 +16,7 @@ depends: [
   "ocaml" {>= "4.07"}
   "coq" {>= "8.12" < "8.13~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.5.0/opam b/released/packages/coq-quickchick/coq-quickchick.1.5.0/opam
@@ -16,7 +16,7 @@ depends: [
   "ocaml" {>= "4.07"}
   "coq" {>= "8.13" < "8.14~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.5.1/opam b/released/packages/coq-quickchick/coq-quickchick.1.5.1/opam
@@ -15,7 +15,7 @@ depends: [
   "ocaml" {>= "4.07"}
   "coq" {>= "8.11" < "8.15~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.6.0/opam b/released/packages/coq-quickchick/coq-quickchick.1.6.0/opam
@@ -15,7 +15,7 @@ depends: [
   "ocaml" {>= "4.07"}
   "coq" {>= "8.11" < "8.16~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.6.1/opam b/released/packages/coq-quickchick/coq-quickchick.1.6.1/opam
@@ -15,7 +15,7 @@ depends: [
   "ocaml" {>= "4.07"}
   "coq" {>= "8.11" < "8.16~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.6.2/opam b/released/packages/coq-quickchick/coq-quickchick.1.6.2/opam
@@ -15,7 +15,7 @@ depends: [
   "ocaml" {>= "4.07"}
   "coq" {>= "8.11" < "8.16~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.6.3/opam b/released/packages/coq-quickchick/coq-quickchick.1.6.3/opam
@@ -15,7 +15,7 @@ depends: [
   "ocaml" {>= "4.07"}
   "coq" {>= "8.11" < "8.16~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.6.4/opam b/released/packages/coq-quickchick/coq-quickchick.1.6.4/opam
@@ -15,7 +15,7 @@ depends: [
   "ocaml" {>= "4.07"}
   "coq" {>= "8.11" < "8.17~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "ocamlbuild"
   "ocamlfind"
   "menhir" {build}
diff --git a/released/packages/coq-quickchick/coq-quickchick.1.6.5/opam b/released/packages/coq-quickchick/coq-quickchick.1.6.5/opam
@@ -19,7 +19,7 @@ depends: [
   "cppo" {build & >= "1.6.8"}
   "coq" {>= "8.13~" & < "8.18"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "coq-simple-io"
   "ocamlfind"
   "ocamlbuild" {with-test}
diff --git a/released/packages/coq-quickchick/coq-quickchick.2.0.0/opam b/released/packages/coq-quickchick/coq-quickchick.2.0.0/opam
@@ -19,7 +19,7 @@ depends: [
   "cppo" {build & >= "1.6.8"}
   "coq" {>= "8.15~" & < "8.18"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "coq-simple-io"
   "ocamlfind"
   "ocamlbuild" 
diff --git a/released/packages/coq-quickchick/coq-quickchick.2.0.1/opam b/released/packages/coq-quickchick/coq-quickchick.2.0.1/opam
@@ -19,7 +19,7 @@ depends: [
   "cppo" {build & >= "1.6.8"}
   "coq" {>= "8.15~" & < "8.19"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "coq-simple-io"
   "ocamlfind"
   "ocamlbuild" 
diff --git a/released/packages/coq-quickchick/coq-quickchick.2.0.2/opam b/released/packages/coq-quickchick/coq-quickchick.2.0.2/opam
@@ -28,7 +28,7 @@ depends: [
   "cppo" {build & >= "1.6.8"}
   "coq" {>= "8.15~" & < "8.20"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "coq-simple-io"
   "ocamlfind"
   "ocamlbuild"
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,9 +26,9 @@ depends: [
   "ocaml" {>= "4.07"}
   "menhir" {build}
   "cppo" {build & >= "1.6.8"}
-  "coq" {>= "8.15~" & < "8.21"}
+  "coq" {>= "8.15~" & < "8.20"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "coq-simple-io"
   "ocamlfind"
   "ocamlbuild"
diff --git a/released/packages/coq-quickchick/coq-quickchick.2.0.4/opam b/released/packages/coq-quickchick/coq-quickchick.2.0.4/opam
@@ -26,9 +26,9 @@ depends: [
   "ocaml" {>= "4.07"}
   "menhir" {build}
   "cppo" {build & >= "1.6.8"}
-  "coq" {>= "8.15~"}
+  "coq" {>= "8.15~" & < "9.0"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "coq-simple-io" {>= "1.6.0"}
   "ocamlfind"
   "ocamlbuild"
@@ -57,4 +57,4 @@ url {
     "md5=6134bdbe1b79450481cfdc84d1b42ded"
     "sha512=1e40605b1a40829c0069325a43a655cc7bc3f667f99b9380f3b707579600ddd3c7bd1968ff8aac254f1037ae7219d69a725f6739b55c715e3129d756843028ce"
   ]
-}
+}
diff --git a/released/packages/coq-quickchick/coq-quickchick.2.0.5/opam b/released/packages/coq-quickchick/coq-quickchick.2.0.5/opam
@@ -26,9 +26,9 @@ depends: [
   "ocaml" {>= "4.07"}
   "menhir" {build}
   "cppo" {build & >= "1.6.8"}
-  "coq" {>= "8.15~"}
+  "coq" {>= "8.15~" & < "9.0"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "coq-simple-io" {>= "1.6.0"}
   "ocamlfind"
   "ocamlbuild"
@@ -57,4 +57,4 @@ url {
     "md5=3fe1c7124122fdfd5817d8634c1e68a6"
     "sha512=f05fd7404c5122a62afac504fab32839fe55858d1b4ba5037db52df1b55ae068298aae642561b1d5f2e93ab5bd1dd6608c1e6c73ef7978cb3b5438c04f874ff8"
   ]
-}
+}
diff --git a/released/packages/coq-quickchick/coq-quickchick.2.1.0/opam b/released/packages/coq-quickchick/coq-quickchick.2.1.0/opam
@@ -28,7 +28,7 @@ depends: [
   "cppo" {build & >= "1.6.8"}
   "coq" {>= "8.15~"}
   "coq-ext-lib"
-  "coq-mathcomp-ssreflect"
+  "coq-mathcomp-ssreflect" {< "2.5.0"}
   "coq-simple-io" {>= "1.6.0"}
   "ocamlfind"
   "ocamlbuild"
