From 0f52c414eb49de2e7226abb9634572015ad922dd Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Date: Fri, 30 Jan 2026 11:07:53 +0900
Subject: [PATCH] allow rocq 9.1

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

diff --git a/coq-mathcomp-classical.opam b/coq-mathcomp-classical.opam
index e32f78601a..dd58126243 100644
--- a/coq-mathcomp-classical.opam
+++ b/coq-mathcomp-classical.opam
@@ -16,7 +16,7 @@ build: [make "-C" "classical" "-j%{jobs}%"]
 install: [make "-C" "classical" "install"]
 depends: [
   ("coq" {>= "8.20" & < "8.21~"}
-  | "coq-core" { (>= "9.0" & < "9.1~") | (= "dev") })
+  | "coq-core" { (>= "9.0" & < "9.2~") | (= "dev") })
   "coq-mathcomp-ssreflect" { (>= "2.4.0" & < "2.6~") | (= "dev") }
   "coq-mathcomp-fingroup"
   "coq-mathcomp-algebra"