From a7ec43d713afaef92aaee06288a12d7185dbc761 Mon Sep 17 00:00:00 2001
From: Yoshihiro Imai <y.imai@aist.go.jp>
Date: Wed, 15 Jul 2026 18:40:21 +0900
Subject: [PATCH] CI: :memo::wrench:  Bumpup Rocqnavi 0.5.1

---
 rocq-mathcomp-analysis.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rocq-mathcomp-analysis.opam b/rocq-mathcomp-analysis.opam
index 3e06f39691..4f9a342048 100644
--- 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~" } ]