diff --git a/extra/z3/PKGBUILD b/extra/z3/PKGBUILD
index febbfd2a4..d5bd61965 100644
--- a/extra/z3/PKGBUILD
+++ b/extra/z3/PKGBUILD
@@ -7,9 +7,9 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3-solver')
-pkgver=4.12.1
-_commit=3012293c35eadbfd73e5b94adbe50b0cc44ffb83
-pkgrel=2
+pkgver=4.12.2
+_commit=e417f7d78509b2d0c9ebc911fee7632e6ef546b6
+pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')
@@ -20,6 +20,12 @@ source=(git+https://github.com/Z3Prover/z3.git#commit=$_commit)
 sha512sums=('SKIP')
 b2sums=('SKIP')
 
+prepare() {
+  cd $pkgname
+# Fix build with GCC 13
+  git cherry-pick -n c9d8e646ed505a9cd4c84b2cb31d846b8588109f
+}
+
 build() {
   cd z3
   cmake \