CI: 📝🔧 Bumpup Rocqnavi 0.5.1 (#2044)

yoshihiro503 · web-flow · commit 8d9538acc348 · 2026-07-22T12:08:01.000+09:00
diff --git a/rocq-mathcomp-analysis.opam b/rocq-mathcomp-analysis.opam
@@ -19,7 +19,7 @@ depends: [
   "rocq-mathcomp-solvable"
   "rocq-mathcomp-field"
   "rocq-mathcomp-bigenough" { (>= "1.0.0") }
-  "rocq-navi" {= "0.4.1" & with-doc}
+  "rocq-navi" {= "0.5.1" & with-doc}
 ]
 
 conflicts: [ "coq-mathcomp-analysis" { < "1.16~" } ]

Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ depends: [`
`19`	`19`	`"rocq-mathcomp-solvable"`
`20`	`20`	`"rocq-mathcomp-field"`
`21`	`21`	`"rocq-mathcomp-bigenough" { (>= "1.0.0") }`
`22`		`- "rocq-navi" {= "0.4.1" & with-doc}`
	`22`	`+ "rocq-navi" {= "0.5.1" & with-doc}`
`23`	`23`	`]`
`24`	`24`
`25`	`25`	`conflicts: [ "coq-mathcomp-analysis" { < "1.16~" } ]`