diff --git a/Cargo.lock b/Cargo.lock
index f9509a2572..0a9e38fd62 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2589,9 +2589,9 @@ dependencies = [
 
 [[package]]
 name = "z3"
-version = "0.5.0"
+version = "0.5.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "afd636f549e919f8058567000156e19efbb4728ddb3be226dcc332d0ff622ab5"
+checksum = "ded00cd90f8e3a7ea3155bddd72573f2b099ea201877542d924e47b58dd04e72"
 dependencies = [
  "lazy_static",
  "log",
@@ -2600,9 +2600,9 @@ dependencies = [
 
 [[package]]
 name = "z3-sys"
-version = "0.6.0"
+version = "0.6.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2487974559d1494e8e8925df85362d6109ae5555092510508a5b1077346c2833"
+checksum = "4002d8a1facb54d02dbfb86151281e5450618ab330936bc2f3acaab31eae11ae"
 dependencies = [
  "cmake",
 ]
diff --git a/cranelift/peepmatic/Cargo.toml b/cranelift/peepmatic/Cargo.toml
index 7a1dc1c535..abe9676f0b 100644
--- a/cranelift/peepmatic/Cargo.toml
+++ b/cranelift/peepmatic/Cargo.toml
@@ -12,4 +12,4 @@ peepmatic-automata = { version = "0.1.0", path = "crates/automata", features = [
 peepmatic-macro = { version = "0.1.0", path = "crates/macro" }
 peepmatic-runtime = { version = "0.1.0", path = "crates/runtime", features = ["construct"] }
 wast = "15.0.0"
-z3 = { version = "0.5.0", features = ["static-link-z3"] }
+z3 = { version = "0.5.1", features = ["static-link-z3"] }