diff --git a/community/z3/PKGBUILD b/community/z3/PKGBUILD
index ca574e505..80a3b72f3 100644
--- a/community/z3/PKGBUILD
+++ b/community/z3/PKGBUILD
@@ -7,7 +7,7 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3')
-pkgver=4.8.12
+pkgver=4.8.13
 pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
@@ -16,7 +16,7 @@ license=('MIT')
  # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib'
 makedepends=('cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs')
 source=(https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz)
-sha512sums=('0b377923bdaffaca1846aa2abd61003bbecadfcdfc908ed3097d0aac8f32028ac39d93fb4a9c2e2c2bfffbdbee80aa415875f17de6c2ee2ae8e2b7921f788c6e')
+sha512sums=('c5e8f34525ed3b6b2935d7f01ce2f90f5dd99b4cdd035664b36c967fb1c7f3b05abed45c7288e2261723e73d68728ee91a0f67d92012d86b04598d7b54369c30')
 
 prepare() {
   cd $pkgbase-z3-$pkgver