From 7133e8441173e7de626b6dcf4c2321867e1a8bec Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sat, 14 Dec 2024 20:30:48 +0100
Subject: [PATCH] coq-coqeal.2.0.2 is not compatible with MathComp 2.3.0

---
 released/packages/coq-coqeal/coq-coqeal.2.0.2/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/released/packages/coq-coqeal/coq-coqeal.2.0.2/opam b/released/packages/coq-coqeal/coq-coqeal.2.0.2/opam
index 574296be5d..f392d58410 100644
--- a/released/packages/coq-coqeal/coq-coqeal.2.0.2/opam
+++ b/released/packages/coq-coqeal/coq-coqeal.2.0.2/opam
@@ -21,7 +21,7 @@ depends: [
   "coq-bignums" 
   "coq-paramcoq" {>= "1.1.3"}
   "coq-hierarchy-builder" {>= "1.4.0"}
-  "coq-mathcomp-ssreflect" {>= "2.0"}
+  "coq-mathcomp-ssreflect" {>= "2.0" & < "2.3"}
   "coq-mathcomp-algebra" 
   "coq-mathcomp-multinomials" {>= "2.0"}
   "coq-mathcomp-real-closed" {>= "2.0"}