From db7e96da8bdcd8022fb2a6c2d8b1cc70d8f9ea31 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 5 Jan 2023 21:29:00 +0100
Subject: [PATCH] [opam] Fix opam file

---
 coq-lsp.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-lsp.opam b/coq-lsp.opam
index 154ce36e2..678c4ba4c 100644
--- 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" }