kind2.1.3.1: Avoid using strict constraints

Author: kit-ty-kate

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"