Merge pull request #47 from 4ever2/analysis-1.7

Support mathcom-analysis 1.7.0
SSProve · Nov 26, 2024 · 7370bd0 · 7370bd0
2 parents 050bb61 + b4c7079
commit 7370bd0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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")}
 ]