fix

math-comp · Jan 9, 2024 · ed131a4 · ed131a4
1 parent 00feb59
commit ed131a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-mathcomp-analysis.opam b/coq-mathcomp-analysis.opam
@@ -22,7 +22,7 @@ depends: [
   "coq-mathcomp-solvable" { (>= "1.15.0" & < "1.19~") | (= "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: [