From b4c7079fef60178ab5cd96795c020b236efc6e5d Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Mon, 25 Nov 2024 18:29:46 +0100
Subject: [PATCH] Support mathcom-analysis 1.7.0

---
 ssprove.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ssprove.opam b/ssprove.opam
index 89a745ef..f469f116 100644
--- a/ssprove.opam
+++ b/ssprove.opam
@@ -11,7 +11,7 @@ depends: [
   "coq" {(>= "8.18~")}
   "coq-equations" {(>= "1.3+8.18")}
   "coq-mathcomp-ssreflect" {(>= "2.1.0")}
-  "coq-mathcomp-analysis" {>= "1.0.0"}
+  ("coq-mathcomp-analysis" {>= "1.0.0" & < "1.7.0"} | "coq-mathcomp-analysis" {>= "1.7.0"} & "coq-mathcomp-experimental-reals" {>= "1.7.0"})
   "coq-extructures" {(>= "0.4.0" & < "dev")}
   "coq-deriving" {(>= "0.2.0" & < "dev")}
 ]