From 7dc32407fd1dd65b22f8a0b38f722792a542af5d Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 30 Jan 2023 15:49:46 +0100 Subject: [PATCH] dune-project: require dune 2.0 --- dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-project b/dune-project index 08126e9..5e0a895 100644 --- a/dune-project +++ b/dune-project @@ -1,2 +1,2 @@ -(lang dune 2.6) +(lang dune 2.0) (name opam-graph)