From da02083a2d6523b721faf5f1d18125cb85d66f30 Mon Sep 17 00:00:00 2001 From: Kevin Mihelich <kevin@archlinuxarm.org> Date: Thu, 22 Nov 2018 21:56:48 +0000 Subject: [PATCH] community/z3 to 4.8.3-1 --- community/z3/PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/community/z3/PKGBUILD b/community/z3/PKGBUILD index d51c3ba5f..b4b3a3a40 100644 --- a/community/z3/PKGBUILD +++ b/community/z3/PKGBUILD @@ -7,7 +7,7 @@ pkgbase=z3 pkgname=('z3' 'python-z3' 'python2-z3') -pkgver=4.8.1 +pkgver=4.8.3 pkgrel=1 pkgdesc='High-performance theorem prover' url='https://github.com/Z3Prover/z3' @@ -18,7 +18,7 @@ makedepends=('cmake' 'python2' 'python2-setuptools' 'python' 'python-setuptools' optdepends=('python2-setuptools: bindings for python2') source=(https://github.com/Z3Prover/z3/archive/${pkgbase}-${pkgver}.tar.gz z3-no-sse.patch) -sha512sums=('f3311d07f6375d3d294d9c495b0ce4022258dd95b1f6bec93bdf5a60d074c75fd13daf1da7b67753acb4084e33395088513dfd85fe5c2cf76913ba0107e5782b' +sha512sums=('34a2dca0083ed469fdaf5ac062dda26248633245607ddd9ef90629c5f76ae30f87bfa4191c04ba9be7a617bf182a1bd00b59fd2274699e12ece69b86088c8044' 'd172454a024eae2ac2246de481349ac61d9d9fdf41b5b0bb8b9343f74c5232c5f74458e30e16d745af9ad99e9aa4444627248bdb29b86d437471fd97bbba96b3') prepare() {