[ci] [build] Bump Dune to 2.5.0

It is unfortunate that we cannot install coqide and Dune 2.5.0 in < 4.07.0

1 files changed, 1 insertions, 1 deletions

diff --git a/coq.opam b/coq.opam
index 39191c21d9..aa19c2cf98 100644
--- a/coq.opam
+++ b/coq.opam
@@ -22,7 +22,7 @@ version: "dev"
 
 depends: [
   "ocaml"     { >= "4.05.0" }
-  "dune"      { >= "2.0.0"  }
+  "dune"      { >= "2.5.0"  }
   "ocamlfind" { build }
   "num"
 ]