diff --git a/community/z3/PKGBUILD b/community/z3/PKGBUILD
index 69abd3737..ce95d21d6 100644
--- a/community/z3/PKGBUILD
+++ b/community/z3/PKGBUILD
@@ -7,8 +7,8 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3-solver')
-pkgver=4.12.0
-_commit=feda706d0dda2539176246dd221328122c66f77d
+pkgver=4.12.1
+_commit=3012293c35eadbfd73e5b94adbe50b0cc44ffb83
 pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'