From 7b4fd3de8f5c51c441285ce91b62776de050e278 Mon Sep 17 00:00:00 2001 From: Bryan Bennett Date: Fri, 26 Jan 2024 07:28:59 -0500 Subject: [PATCH] Reduce dune version to work with Nix 23.11 --- dune-project | 2 +- dune-workspace | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index f900cdb..88a33ec 100644 --- a/dune-project +++ b/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.12) +(lang dune 3.11) (name flake_env) (generate_opam_files true) diff --git a/dune-workspace b/dune-workspace index a017b55..42130a0 100644 --- a/dune-workspace +++ b/dune-workspace @@ -1,2 +1,2 @@ -(lang dune 3.12) +(lang dune 3.11) (instrument_with bisect_ppx) \ No newline at end of file