Update coq.opam.mustache

liyishuai · web-flow · commit e5e7e54f65ef · 2024-09-20T19:19:49.000+08:00
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 }}
