From 98c3131f7f3b49b65beef32f9be9cc7871ffc4d7 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 --- .pre-commit-config.yaml | 1 - dune-project | 2 +- dune-workspace | 2 +- flake_env.opam | 2 +- 4 files changed, 3 insertions(+), 4 deletions(-) delete mode 120000 .pre-commit-config.yaml diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml deleted file mode 120000 index 2a19533..0000000 --- a/.pre-commit-config.yaml +++ /dev/null @@ -1 +0,0 @@ -/nix/store/y3cj5g3rd064bxpi3r2i1k2nzhk9qrdw-pre-commit-config.json \ No newline at end of file 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 diff --git a/flake_env.opam b/flake_env.opam index 2a66339..106f38f 100644 --- a/flake_env.opam +++ b/flake_env.opam @@ -10,7 +10,7 @@ doc: "https://git.sr.ht/~bryan_bennett/flake_env" bug-reports: "https://todo.sr.ht/~bryan_bennett/flake_env" depends: [ "ocaml" - "dune" {>= "3.12"} + "dune" {>= "3.11"} "odoc" {with-doc} ] build: [