[opam] Fix opam file

ejgallego · Jan 5, 2023 · db7e96d · db7e96d
1 parent c1c3951
commit db7e96d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-lsp.opam b/coq-lsp.opam
@@ -16,7 +16,7 @@ doc: "https://ejgallego.github.io/coq-lsp/"
 
 depends: [
   "ocaml"        { >= "4.12.0" }
-  "dune"         { >= "3.0.2"  }
+  "dune"         { >= "3.2"  }
 
   # Not yet required, install Coq deps instead
   "coq"            {         >= "8.16.0" & < "8.17" }