diff --git a/packages/kind2/kind2.1.3.1/opam b/packages/kind2/kind2.1.3.1/opam
index 2181519a309..af5238faf29 100644
--- 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"