summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Woffinden2020-12-08 21:17:35 +0000
committerDaniel Woffinden2020-12-08 21:17:35 +0000
commitbf28af2cd41ec7cda86b160c694be3330146ffde (patch)
tree1137d04cdb6e4deaeb421854342182cce3317d17
parentbd81516c0d143fe0ca792d0fe064114563d0e2a2 (diff)
downloadaur-bf28af2cd41ec7cda86b160c694be3330146ffde.tar.gz
bump version
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index e0397545851..7ed110a689f 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')