From aa9cfcb2e46a4a72d0b9ef50f420c029eaef0d43 Mon Sep 17 00:00:00 2001
From: Yishuai Li <yishuai@upenn.edu>
Date: Fri, 20 Sep 2024 19:18:10 +0800
Subject: [PATCH] Dune 3.6

---
 coq.opam.mustache     | 2 +-
 dune-project.mustache | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/coq.opam.mustache b/coq.opam.mustache
index 78313b1..ad5a965 100644
--- 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
index 2c0bdf6..60ec5ef 100644
--- 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 }})