diff --git a/opam b/opam
index a345a028..34e99cc0 100644
--- 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: """