From b50f03c1484f39210719efd2d278eefebbfc8e0b Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 14 Mar 2024 21:54:11 +0100 Subject: [PATCH] minor --- ohex.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ohex.opam b/ohex.opam index 6e37928..005166e 100644 --- a/ohex.opam +++ b/ohex.opam @@ -7,7 +7,7 @@ doc: "https://robur-coop.github.io/ohex/doc" bug-reports: "https://git.robur.coop/robur/ohex/issues" depends: [ "ocaml" {>= "4.08.0"} - "dune" + "dune" {>= "2.7"} "alcotest" {with-test} ] build: [