kind2.1.3.1: Avoid using strict constraints

ocaml · Mar 7, 2021 · 31830f4 · 31830f4
1 parent feb383c
commit 31830f4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/packages/kind2/kind2.1.3.1/opam b/packages/kind2/kind2.1.3.1/opam
@@ -17,12 +17,12 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "z3" {<= "4.8.8-1" & with-test}
+  "z3" {< "4.8.9" & with-test}
   "yojson"
   "zmq"
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"