Merge pull request #131 from coq-community/update-dune

Dune 3.6
coq-community · Sep 20, 2024 · 4dc588f · 4dc588f
2 parents 078c045 + aa9cfcb
commit 4dc588f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/coq.opam.mustache b/coq.opam.mustache
@@ -30,7 +30,7 @@ depends: [
   "ocaml" {{& opam }}
 {{/ supported_ocaml_versions }}
 {{# dune }}
-  "dune" {>= "2.5"}
+  "dune" {>= "3.6"}
 {{/ dune }}
   "coq" {{& supported_coq_versions.opam }}
 {{# dependencies }}

diff --git a/dune-project.mustache b/dune-project.mustache
@@ -1,3 +1,3 @@
-(lang dune 2.5)
-(using coq 0.2)
+(lang dune 3.6)
+(using coq 0.6)
 (name {{ shortname }})