chore: fix constraints in opam

sneeuwballen · Dec 10, 2020 · 9e5deeb · 9e5deeb
1 parent fd35a03
commit 9e5deeb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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"}