diff --git a/extra/z3/.SRCINFO b/extra/z3/.SRCINFO
index 6b40616b0..66be8dbd4 100644
--- a/extra/z3/.SRCINFO
+++ b/extra/z3/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = z3
 	pkgdesc = High-performance theorem prover
 	pkgver = 4.13.0
-	pkgrel = 1
+	pkgrel = 2
 	url = https://github.com/Z3Prover/z3
 	arch = x86_64
 	license = MIT
diff --git a/extra/z3/PKGBUILD b/extra/z3/PKGBUILD
index 919125efd..5f43a00cf 100644
--- a/extra/z3/PKGBUILD
+++ b/extra/z3/PKGBUILD
@@ -9,7 +9,7 @@ pkgbase=z3
 pkgname=('z3' 'python-z3-solver')
 pkgver=4.13.0
 _commit=3049f578a8f98a0b0992eca193afe57a73b30ca3
-pkgrel=1
+pkgrel=2
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')