bump mathcomp-analysis to 1.4.0

logsem · Sep 24, 2024 · 7322c1a · 7322c1a
1 parent 0ec87fd
commit 7322c1a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/clutch.opam b/clutch.opam
@@ -23,5 +23,5 @@ depends: [
   "coq-autosubst" { (= "1.8") | (= "dev") }
   "coq-mathcomp-ssreflect" { (= "2.2.0") }
   "coq-mathcomp-solvable" { (= "2.2.0") }
-  "coq-mathcomp-analysis" { (= "1.3.1") }
+  "coq-mathcomp-analysis" { (= "1.4.0") }
 ]