From 3f6d0d2ca447ade39b746c19ce7be2ee9e99e1a5 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sun, 26 Jan 2025 09:55:20 +0100
Subject: [PATCH] Set some upper bounds.

---
 released/packages/coq-coquelicot/coq-coquelicot.3.4.2/opam | 2 +-
 released/packages/coq-flocq/coq-flocq.4.2.0/opam           | 2 +-
 released/packages/coq-gappa/coq-gappa.1.5.5/opam           | 2 +-
 released/packages/coq-gappa/coq-gappa.1.6.0/opam           | 2 +-
 released/packages/coq-interval/coq-interval.4.10.0/opam    | 2 +-
 released/packages/coq-interval/coq-interval.4.11.0/opam    | 2 +-
 released/packages/coq-interval/coq-interval.4.11.1/opam    | 2 +-
 7 files changed, 7 insertions(+), 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
index 55fc2aa568..b4b6c181bb 100644
--- 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
index a355a7fc31..7be07b342c 100644
--- 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
index ed2d98e33c..87ff654904 100644
--- 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
index 3cc3b37a46..cdf235047a 100644
--- 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
index dcb9faacb4..638f0c75f5 100644
--- 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
index d9f3b33454..c6ca05f670 100644
--- 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
index 8326bacedb..d31a70ff7c 100644
--- 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"}