From 33a65de549b75867b9288963e27215b34ecc3832 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 5 Dec 2023 12:07:44 -0600 Subject: Update nix --- wormhole.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'wormhole.opam') diff --git a/wormhole.opam b/wormhole.opam index aa9d04f..641919d 100644 --- a/wormhole.opam +++ b/wormhole.opam @@ -12,7 +12,7 @@ depends: [ "ocaml" "crunch" "dream" - "dune" {>= "3.11"} + "dune" {>= "3.12.1"} "ppx_yojson_conv" "cohttp" "cohttp-lwt-unix" -- cgit v1.2.3