summarylogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index e03975458519..7ed110a689f4 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
# Maintainer: d.woffinden
pkgname=z3-git
-pkgver=4.8.8.r706.g1c7d27bdf
+pkgver=4.8.9.r232.gfae948130
pkgrel=1
pkgdesc='Z3 is a theorem prover from Microsoft Research'
arch=('i686' 'x86_64')