From 9e5deebfb3e85b587d824486482196231cd69675 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 10 Dec 2020 14:52:07 -0500
Subject: [PATCH] chore: fix constraints in opam

---
 libzipperposition.opam | 2 +-
 logtk.opam             | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/libzipperposition.opam b/libzipperposition.opam
index 06f9e9e5a..382a6a9ff 100644
--- a/libzipperposition.opam
+++ b/libzipperposition.opam
@@ -16,7 +16,7 @@ depends: [
   "containers" { >= "3.0" & < "4.0" }
   "iter" { >= "1.2" }
   "oseq"
-  "dune" { >= "1.1" }
+  "dune" { >= "1.11" }
   "msat" { >= "0.8.1" < "0.9" }
   "menhir" {build}
   "logtk" { = version }
diff --git a/logtk.opam b/logtk.opam
index bc52eefe8..71d1a9652 100644
--- a/logtk.opam
+++ b/logtk.opam
@@ -18,7 +18,7 @@ depends: [
   "containers-data" { >= "3.0" & < "4.0" }
   "iter" { >= "1.2" }
   "menhir" {build}
-  "dune" { >= "1.1" }
+  "dune" { >= "1.11" }
   "alcotest" {with-test}
   "qcheck-core" {with-test & >= "0.9"}
   "qcheck-alcotest" {with-test & >= "0.9"}