From 5c1fb51277cf8279b6b48a838431aa7bed4838e9 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 22 Feb 2020 14:02:12 -0600
Subject: [PATCH] chore: small opam changes

---
 sidekick-bin.opam | 2 +-
 sidekick.opam     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index 87bd870c..83de23dd 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -11,7 +11,7 @@ build: [
   # ["dune" "runtest" "-p" name] {with-test}
 ]
 depends: [
-  "dune" {build}
+  "dune" { >= "1.1" }
   "containers" { >= "3.0" & < "4.0" }
   "iter"
   "zarith"
diff --git a/sidekick.opam b/sidekick.opam
index a596379a..bd4cf5ed 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -11,7 +11,7 @@ build: [
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
 depends: [
-  "dune" {build}
+  "dune" { >= "1.1" }
   "containers" { >= "3.0" & < "4.0" }
   "iter" { >= "1.0" & < "2.0" }
   "msat" { >= "0.8.3" < "0.9" }