diff --git a/dune-project b/dune-project index b82e8c33..b2b97b75 100644 --- a/dune-project +++ b/dune-project @@ -23,7 +23,7 @@ ) (depends - (dune (and :build (>= "1.4.0"))) + (dune (>= "1.4.0")) (menhir (>= "20170509")) (ocaml (>= "4.04")) (odoc :with-doc) diff --git a/morbig.opam b/morbig.opam index f825eb96..4288f8ec 100644 --- a/morbig.opam +++ b/morbig.opam @@ -19,7 +19,7 @@ license: "GPL3-only" homepage: "https://github.com/colis-anr/morbig" bug-reports: "https://github.com/colis-anr/morbig/issues" depends: [ - "dune" {build & >= "1.4.0"} + "dune" {>= "1.4.0"} "menhir" {>= "20170509"} "ocaml" {>= "4.04"} "odoc" {with-doc}