diff --git a/MODULE.bazel b/MODULE.bazel
index 48848d27e..985a66b8e 100644
--- a/MODULE.bazel
+++ b/MODULE.bazel
@@ -1,6 +1,6 @@
 module(
     name = "z3",
-    version = "4.15.4",  # TODO: Read from VERSION.txt - currently manual sync required
+    version = "4.15.5",  # TODO: Read from VERSION.txt - currently manual sync required
     bazel_compatibility = [">=7.0.0"],
 )
 
diff --git a/scripts/VERSION.txt b/scripts/VERSION.txt
index 6baf7570c..79c398614 100644
--- a/scripts/VERSION.txt
+++ b/scripts/VERSION.txt
@@ -1 +1 @@
-4.15.4.0
+4.15.5.0
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 7885c2f24..a86e6536d 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -2,7 +2,7 @@ variables:
   # Version components read from VERSION.txt (updated manually when VERSION.txt changes)
   Major: '4'
   Minor: '15'
-  Patch: '4'
+  Patch: '5'
   ReleaseVersion: $(Major).$(Minor).$(Patch)
   NightlyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)
   # TODO: Auto-read from VERSION.txt when Azure DevOps supports it better
diff --git a/scripts/release.yml b/scripts/release.yml
index 506295525..6011c12f4 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -6,7 +6,7 @@
 trigger: none
 
 variables:
-  ReleaseVersion: '4.15.4'  # TODO: Auto-read from VERSION.txt when Azure DevOps supports it better
+  ReleaseVersion: '4.15.5'  # TODO: Auto-read from VERSION.txt when Azure DevOps supports it better
 
 stages: