archlinuxarm/PKGBUILDs
1
0
Fork 0
mirror of https://github.com/archlinuxarm/PKGBUILDs.git synced 2025-01-27 23:44:04 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

community/z3 to 4.8.3-1

Browse source
This commit is contained in:
Kevin Mihelich 2018-11-22 21:56:48 +00:00
parent ae0c7faa0f
commit da02083a2d
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
community/z3/PKGBUILD
View file

@ -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() {