fix opam file

affeldt-aist · Nov 15, 2020 · 8bdf8b5 · 8bdf8b5
1 parent c81a65f
commit 8bdf8b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/opam b/opam
@@ -27,7 +27,7 @@ install: [
 depends: [
   "coq" {>= "8.11" & < "8.13~"}
   "coq-mathcomp-field" {>= "1.11" & < "1.12~"}
-  "coq-mathcomp-analysis"   {>= "0.3.2" & < "0.4~"}
+  "coq-mathcomp-analysis"   {>= "0.3.2" & < "0.3.3~"}
 ]
 synopsis: "Discrete probabilities and information theory for Coq"
 description: """