Date: Sunday, July 8, 2018 @ 11:58:34 Author: felixonmars Revision: 354766
Python 3.7 rebuild Modified: z3/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-07-08 11:53:53 UTC (rev 354765) +++ PKGBUILD 2018-07-08 11:58:34 UTC (rev 354766) @@ -5,7 +5,7 @@ pkgbase=z3 pkgname=('z3' 'python-z3' 'python2-z3') pkgver=4.7.1 -pkgrel=1 +pkgrel=2 pkgdesc='High-performance theorem prover' url='https://github.com/Z3Prover/z3' arch=('x86_64')