fix

affeldt-aist · affeldt-aist · commit 07defec6676d · 2024-02-14T11:52:11.000+09:00
diff --git 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: [

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ depends: [`
`22`	`22`	`"coq-mathcomp-solvable" { (>= "2.0.0") \| (= "dev") }`
`23`	`23`	`"coq-mathcomp-field"`
`24`	`24`	`"coq-mathcomp-bigenough" { (>= "1.0.0") }`
`25`		`- "coq-mathcomp-algebra-tactics" { (>= "1.1.1") }`
	`25`	`+ "coq-mathcomp-algebra-tactics" { (= "1.1.1") }`
`26`	`26`	`]`
`27`	`27`
`28`	`28`	`tags: [`