From ec4261228ba4065d6f477b0d827051d94c1335ca Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre@roux01.fr>
Date: Wed, 25 Oct 2023 20:17:11 +0200
Subject: [PATCH] finmap compiles with mathcomp 2.1.0

---
 .../packages/coq-mathcomp-finmap/coq-mathcomp-finmap.2.0.0/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.2.0.0/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.2.0.0/opam
index b1e4b95dd8..43208b9bde 100644
--- a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.2.0.0/opam
+++ b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.2.0.0/opam
@@ -18,7 +18,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" { (>= "8.16" & < "8.19~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "2.0.0" & < "2.1~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "2.0.0" & < "2.2~") | (= "dev") }
 ]
 
 tags: [