Update coq.opam.mustache

coq-community · Sep 20, 2024 · e5e7e54 · e5e7e54
1 parent 51fa66d
commit e5e7e54
Showing 1 changed file with 1 addition and 1 deletion.
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.8"}
 {{/ dune }}
   "coq" {{& supported_coq_versions.opam }}
 {{# dependencies }}