Date: Sunday, December 24, 2017 @ 08:37:59 Author: felixonmars Revision: 275686
upgpkg: z3 4.6.0-1 Modified: z3/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-12-24 07:22:54 UTC (rev 275685) +++ PKGBUILD 2017-12-24 08:37:59 UTC (rev 275686) @@ -3,8 +3,8 @@ # Contributor: rudy.matela pkgname=z3 -pkgver=4.5.0 -pkgrel=4 +pkgver=4.6.0 +pkgrel=1 pkgdesc="A high-performance theorem prover" arch=('x86_64') url="https://github.com/Z3Prover/z3" @@ -13,7 +13,7 @@ makedepends=('python2') # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib') optdepends=('python2-setuptools: bindings for python2') source=("https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz") -sha256sums=('aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c') +sha512sums=('92a87292db17ceb4a90e45bce4f6237fe0437a7a5e147b4b63a2cb793e2d59fc04a6aa579ddb904280eac08b4a85c600df092d4c2fa99239199514b9c0363243') build() { cd "$srcdir/$pkgname-$pkgname-$pkgver"