summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorice-phoenix2016-12-13 14:20:58 +0300
committerice-phoenix2016-12-13 14:20:58 +0300
commit0c5807184f6a22e6540d74bf0c2afb3e111f86e5 (patch)
tree8b9d9d46d93cf68b94daac4ac56cae8a6cdeabe0
parent2f43d8c31fb642f114d726569588d08bee39a544 (diff)
downloadaur-0c5807184f6a22e6540d74bf0c2afb3e111f86e5.tar.gz
Up
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD2
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 6a380a86df7..7295a863416 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Wed Apr 13 16:09:41 UTC 2016
+# Tue Dec 13 11:20:24 UTC 2016
pkgbase = z3-stable-git
pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github)
- pkgver = 4.4.1.g0f93853
+ pkgver = 4.5.0.gc1480b4
pkgrel = 1
url = https://github.com/Z3Prover/z3
arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index 5dcd4964d91..da11c6de6ae 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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')