diff --git a/bucket/z3.json b/bucket/z3.json
index 0431d059d2..18cf5c7955 100644
--- a/bucket/z3.json
+++ b/bucket/z3.json
@@ -1,18 +1,18 @@
 {
-    "version": "4.15.3",
+    "version": "4.15.4",
     "description": "Theorem prover from Microsoft Research.",
     "homepage": "https://github.com/Z3Prover/z3",
     "license": "MIT",
     "architecture": {
         "64bit": {
-            "url": "https://github.com/Z3Prover/z3/releases/download/z3-4.15.3/z3-4.15.3-x64-win.zip",
-            "hash": "5091684243e7d7cd57da81991d27ee50aa97333757e53d42d0fc1b7429c99408",
-            "extract_dir": "z3-4.15.3-x64-win"
+            "url": "https://github.com/Z3Prover/z3/releases/download/z3-4.15.4/z3-4.15.4-x64-win.zip",
+            "hash": "842ddadfd5a0612da8834da559502257895af88f103cd2c18ff76f3a4743e661",
+            "extract_dir": "z3-4.15.4-x64-win"
         },
         "32bit": {
-            "url": "https://github.com/Z3Prover/z3/releases/download/z3-4.15.3/z3-4.15.3-x86-win.zip",
-            "hash": "7e43085a25ee42ed7c778212ec486324258ab6088d1c0e20b1e2584b509aa7d9",
-            "extract_dir": "z3-4.15.3-x64-win"
+            "url": "https://github.com/Z3Prover/z3/releases/download/z3-4.15.4/z3-4.15.4-x86-win.zip",
+            "hash": "b748fd0f5b09ecf9979bf058cd0de0a472c3761307101235bcab4a34bbfe9c11",
+            "extract_dir": "z3-4.15.4-x64-win"
         }
     },
     "bin": "bin\\z3.exe",