Merge pull request #2799 from proux01/finmap_220

finmap compiles with mathcomp 2.1.0
coq · Oct 25, 2023 · e7f477f · e7f477f
2 parents 790182b + ec42612
commit e7f477f
Showing 1 changed file with 1 addition and 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
@@ -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: [