diff options
| author | ice-phoenix | 2016-12-13 14:20:58 +0300 |
|---|---|---|
| committer | ice-phoenix | 2016-12-13 14:20:58 +0300 |
| commit | 0c5807184f6a22e6540d74bf0c2afb3e111f86e5 (patch) | |
| tree | 8b9d9d46d93cf68b94daac4ac56cae8a6cdeabe0 /PKGBUILD | |
| parent | 2f43d8c31fb642f114d726569588d08bee39a544 (diff) | |
| download | aur-0c5807184f6a22e6540d74bf0c2afb3e111f86e5.tar.gz | |
Up
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ # Maintainer: Marat Akhin <Marat.Akhin@gmail.com> pkgname=z3-stable-git -pkgver=4.4.1.g0f93853 +pkgver=4.5.0.gc1480b4 pkgrel=1 pkgdesc="Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github)" arch=('i686' 'x86_64') |