Merge pull request #3311 from silene/upper

Set some upper bounds.
coq · Jan 26, 2025 · 65f79e3 · 65f79e3
2 parents fdc5e1d + 3f6d0d2
commit 65f79e3
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 7 deletions.
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.4.2/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.4.2/opam
@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install"]
 depends: [
-  "coq" {>= "8.12"}
+  "coq" {>= "8.12" & < "8.21~"}
   "coq-mathcomp-ssreflect" {>= "1.6"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})

diff --git a/released/packages/coq-flocq/coq-flocq.4.2.0/opam b/released/packages/coq-flocq/coq-flocq.4.2.0/opam
@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install" "install-glob"]
 depends: [
-  "coq" {>= "8.12"}
+  "coq" {>= "8.12" & < "8.21~"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})
 ]

diff --git a/released/packages/coq-gappa/coq-gappa.1.5.5/opam b/released/packages/coq-gappa/coq-gappa.1.5.5/opam
@@ -13,7 +13,7 @@ install: ["./remake" "install"]
 depends: [
   "ocaml"
   "ocamlfind" {build}
-  "coq" {>= "8.8.1"}
+  "coq" {>= "8.8.1" & < "8.21~"}
   "coq-flocq" {>= "3.0"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})

diff --git a/released/packages/coq-gappa/coq-gappa.1.6.0/opam b/released/packages/coq-gappa/coq-gappa.1.6.0/opam
@@ -13,7 +13,7 @@ install: ["./remake" "install"]
 depends: [
   "ocaml"
   "ocamlfind" {build}
-  "coq" {>= "8.16"}
+  "coq" {>= "8.16" & < "8.21~"}
   "coq-flocq" {>= "4.1"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})

diff --git a/released/packages/coq-interval/coq-interval.4.10.0/opam b/released/packages/coq-interval/coq-interval.4.10.0/opam
@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install"]
 depends: [
-  "coq" {>= "8.11" & != "8.19.0"}
+  "coq" {>= "8.11" & != "8.19.0" & < "8.21~"}
   "coq-bignums"
   "coq-flocq" {>= "3.1"}
   "coq-mathcomp-ssreflect" {>= "1.6"}

diff --git a/released/packages/coq-interval/coq-interval.4.11.0/opam b/released/packages/coq-interval/coq-interval.4.11.0/opam
@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install"]
 depends: [
-  "coq" {>= "8.13.1" & != "8.19.0"}
+  "coq" {>= "8.13.1" & != "8.19.0" & < "8.21~"}
   "coq-bignums"
   "coq-flocq" {>= "3.1"}
   "coq-mathcomp-ssreflect" {>= "1.6"}

diff --git a/released/packages/coq-interval/coq-interval.4.11.1/opam b/released/packages/coq-interval/coq-interval.4.11.1/opam
@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install"]
 depends: [
-  "coq" {>= "8.13.1" & != "8.19.0"}
+  "coq" {>= "8.13.1" & != "8.19.0" & < "8.21~"}
   "coq-bignums"
   "coq-flocq" {>= "3.2"}
   "coq-mathcomp-ssreflect" {>= "1.12"}