From 1ef805a3c07fbf26a9e960a6c22623ba4db34026 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sat, 27 Jul 2024 13:42:05 +0200
Subject: [PATCH] coq-mathcomp-classical.1.2.0 works on Coq 8.20

---
 .../coq-mathcomp-classical/coq-mathcomp-classical.1.2.0/opam    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.2.0/opam b/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.2.0/opam
index a8f4096ff..18e438124 100644
--- a/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.2.0/opam
+++ b/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.2.0/opam
@@ -14,7 +14,7 @@ the Coq proof-assistant and using the Mathematical Components library."""
 build: [make "-C" "classical" "-j%{jobs}%"]
 install: [make "-C" "classical" "install"]
 depends: [
-  "coq" { (>= "8.18" & < "8.20~") | (= "dev") }
+  "coq" { (>= "8.18" & < "8.21~") | (= "dev") }
   "coq-mathcomp-ssreflect" { (>= "2.1.0") }
   "coq-mathcomp-fingroup"
   "coq-mathcomp-algebra"