From 64d99bfe2b4db39a4471b42a3b977d312e5556ed Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Wed, 2 Mar 2022 13:58:05 +0100
Subject: [PATCH] CI: upgrade coq-of-ocaml to 2.5.1

---
 src/tooling/tezos-tooling.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tooling/tezos-tooling.opam b/src/tooling/tezos-tooling.opam
index 0bfdeac6bdba..d66e18d624ee 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" }
-- 
GitLab