From 8a60f2d913a4c62f9efc2cdcdff21b0173d22eb8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 4 Aug 2020 11:04:24 -0400 Subject: [PATCH] add opam bounds --- sidekick.opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sidekick.opam b/sidekick.opam index 1910b373..2432ada2 100644 --- a/sidekick.opam +++ b/sidekick.opam @@ -12,8 +12,8 @@ build: [ ] depends: [ "dune" {build} - "containers" - "iter" + "containers" { >= "2.8" & < "3.0" } + "iter" { >= "1.0" & < "2.0" } "msat" { >= "0.8.2" < "0.9" } "ocaml" { >= "4.03" } "alcotest" {with-test}