diff --git a/coq-mathcomp-analysis.opam b/coq-mathcomp-analysis.opam
index a449b7aec..d2363e008 100644
--- a/coq-mathcomp-analysis.opam
+++ b/coq-mathcomp-analysis.opam
@@ -22,7 +22,7 @@ depends: [
   "coq-mathcomp-solvable" { (>= "2.0.0") | (= "dev") }
   "coq-mathcomp-field"
   "coq-mathcomp-bigenough" { (>= "1.0.0") }
-  "coq-mathcomp-algebra-tactics" { (>= "1.1.1") }
+  "coq-mathcomp-algebra-tactics" { (= "1.1.1") }
 ]
 
 tags: [