build(dune): bump up dune version for dune subst

RedPRL · Jan 14, 2022 · 95d6a9d · 95d6a9d
1 parent 7eb8578
commit 95d6a9d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 2.5)
+(lang dune 2.7)
 (name yuujinchou)
 (formatting disabled)
diff --git a/yuujinchou.opam b/yuujinchou.opam
@@ -11,7 +11,7 @@ homepage: "https://github.com/RedPRL/yuujinchou"
 bug-reports: "https://github.com/RedPRL/yuujinchou/issues"
 dev-repo: "git+https://github.com/RedPRL/yuujinchou.git"
 depends: [
-  "dune" {>= "2.5"}
+  "dune" {>= "2.7"}
   "ocaml" {>= "4.08.0"}
   "alcotest" {>= "1.2.1" & with-test}
   "odoc" {with-doc}