From 3c892f46e11b94ef7b75400e4a975b336a8ab6ac Mon Sep 17 00:00:00 2001 From: Anil Madhavapeddy Date: Wed, 26 Dec 2018 10:28:40 +0000 Subject: [PATCH] only depend on dune 1.0 fixes #78 --- dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-project b/dune-project index a26d6e2..de4fc20 100644 --- a/dune-project +++ b/dune-project @@ -1 +1 @@ -(lang dune 1.6) +(lang dune 1.0)