diff --git a/src/tooling/tezos-tooling.opam b/src/tooling/tezos-tooling.opam
index 0bfdeac6bdbabc2771f13665c3f5ea3c97ccbd06..d66e18d624eefb071fa955791f770a690ede1445 100644
--- a/src/tooling/tezos-tooling.opam
+++ b/src/tooling/tezos-tooling.opam
@@ -9,7 +9,7 @@ dev-repo: "git+https://gitlab.com/tezos/tezos.git"
 license: "MIT"
 depends: [
   "dune" { >= "2.9" }
-  "coq-of-ocaml" { = "2.5.0" }
+  "coq-of-ocaml" { = "2.5.1" }
   "bisect_ppx" { >= "2.7.0" }
   "ocamlformat" { = "0.18.0" }
   "ometrics" { >= "0.1.1" }