diff --git a/ports/z3/portfile.cmake b/ports/z3/portfile.cmake
index 82ee908682..cb62dc82c7 100644
--- a/ports/z3/portfile.cmake
+++ b/ports/z3/portfile.cmake
@@ -6,7 +6,7 @@ vcpkg_from_github(
   OUT_SOURCE_PATH SOURCE_PATH
   REPO Z3Prover/z3
   REF z3-${VERSION}
-  SHA512 fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c33330ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b
+  SHA512 b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7
   HEAD_REF master
   PATCHES
       fix-install-path.patch
diff --git a/ports/z3/remove-flag-overrides.patch b/ports/z3/remove-flag-overrides.patch
index d872612d80..cf8b158413 100644
--- a/ports/z3/remove-flag-overrides.patch
+++ b/ports/z3/remove-flag-overrides.patch
@@ -7,6 +7,6 @@ index 477410ba8..fcca03917 100644
  cmake_minimum_required(VERSION 3.16)
 
 -set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
- project(Z3 VERSION 4.12.4.0 LANGUAGES CXX)
+ project(Z3 VERSION 4.12.5.0 LANGUAGES CXX)
 
  ################################################################################
diff --git a/ports/z3/vcpkg.json b/ports/z3/vcpkg.json
index 9cb897f98b..0c86c22fdb 100644
--- a/ports/z3/vcpkg.json
+++ b/ports/z3/vcpkg.json
@@ -1,6 +1,6 @@
 {
   "name": "z3",
-  "version": "4.12.4",
+  "version": "4.12.5",
   "description": "Z3 is a theorem prover from Microsoft Research",
   "homepage": "https://github.com/Z3Prover/z3",
   "license": "MIT",
diff --git a/versions/baseline.json b/versions/baseline.json
index c7cbbcc6ba..fcb09bb568 100644
--- a/versions/baseline.json
+++ b/versions/baseline.json
@@ -9429,7 +9429,7 @@
       "port-version": 0
     },
     "z3": {
-      "baseline": "4.12.4",
+      "baseline": "4.12.5",
       "port-version": 0
     },
     "z4kn4fein-semver": {
diff --git a/versions/z-/z3.json b/versions/z-/z3.json
index 94a4e9a6bf..52f75f2fa8 100644
--- a/versions/z-/z3.json
+++ b/versions/z-/z3.json
@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "294ec73e2b15fd55e0ac922bcaffad517366dbba",
+      "version": "4.12.5",
+      "port-version": 0
+    },
     {
       "git-tree": "98aa7c18e339247b197bab014d1a52310ba39a7a",
       "version": "4.12.4",