[arch-commits] Commit in z3/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Mon Nov 4 07:40:19 UTC 2019
Date: Monday, November 4, 2019 @ 07:40:18
Author: felixonmars
Revision: 523535
Python 3.8 rebuild
Modified:
z3/trunk/PKGBUILD
----------+
PKGBUILD | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2019-11-04 07:39:55 UTC (rev 523534)
+++ PKGBUILD 2019-11-04 07:40:18 UTC (rev 523535)
@@ -5,7 +5,7 @@
pkgbase=z3
pkgname=('z3' 'python-z3')
pkgver=4.8.6
-pkgrel=1
+pkgrel=2
pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3'
arch=('x86_64')
More information about the arch-commits
mailing list