add bounds on zipperposition

zoggy · May 1, 2017 · aa9214c · aa9214c
1 parent 3a06352
commit aa9214c
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/packages/zipperposition/zipperposition.1.0/opam b/packages/zipperposition/zipperposition.1.0/opam
@@ -41,4 +41,8 @@ depopts: [
   "menhir" {build}
   "qcheck" {test}
 ]
+conflicts: [
+  "containers" { >= "1.2" }
+  "sequence" { >= "0.9" }
+]
 available: [ocaml-version >= "4.02.3"]
diff --git a/packages/zipperposition/zipperposition.1.1/opam b/packages/zipperposition/zipperposition.1.1/opam
@@ -43,4 +43,7 @@ depends: [
 depopts: [
   "qcheck" {test}
 ]
+conflicts: [
+  "containers" { >= "1.2" }
+]
 available: [ocaml-version >= "4.02.1"]