[dev] [opam] Bump Dune dev version to 3.13

Versions < 3.13 were broken for composed builds with Coq in scope. Dune bug was fixed in ocaml/dune#9347
ejgallego · Mar 21, 2024 · d97e55b · d97e55b
1 parent 8ce0a7e
commit d97e55b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/coq-lsp.opam b/coq-lsp.opam
@@ -19,7 +19,8 @@ doc: "https://ejgallego.github.io/coq-lsp/"
 
 depends: [
   "ocaml"        { >= "4.11.0" }
-  "dune"         { >= "3.6.1" & < "3.8.0" } # This is 3.2.0 for non-composed builds
+  "dune"         { >= "3.13.0" } # Version interval [3.8-3.12] was
+                                 # broken for composed builds with Coq
 
   # lsp dependencies
   "cmdliner"     { >= "1.1.0" }