From 95d6a9d05eacaca91f690626596aacbfb7ee2071 Mon Sep 17 00:00:00 2001 From: favonia Date: Fri, 14 Jan 2022 12:42:25 -0600 Subject: [PATCH] build(dune): bump up dune version for `dune subst` --- dune-project | 2 +- yuujinchou.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index c96fe38a..c7454813 100644 --- 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 index 28484db0..662c1500 100644 --- 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}