Date: Thursday, February 23, 2023 @ 19:37:02
Author: felixonmars
Revision: 1403730
upgpkg: z3 4.12.1-1
Modified:
z3/trunk/PKGBUILD
----------+
PKGBUILD | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2023-02-23 19:30:40 UTC (rev 1403729)
+++ PKGBUILD 2023-02-23 19:37:02 UTC (rev 1403730)
@@ -4,8 +4,8 @@
pkgbase=z3
pkgname=('z3' 'python-z3-solver')
-pkgver=4.12.0
-_commit=feda706d0dda2539176246dd221328122c66f77d
+pkgver=4.12.1
+_commit=3012293c35eadbfd73e5b94adbe50b0cc44ffb83
pkgrel=1
pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3'
