Commit in z3/trunk (PKGBUILD)

[Felix Yan]

    Date: Sunday, September 11, 2022 @ 19:25:55
  Author: felixonmars
Revision: 1300603

upgpkg: z3 4.11.2-1

Modified:
  z3/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2022-09-11 19:23:16 UTC (rev 1300602)
+++ PKGBUILD    2022-09-11 19:25:55 UTC (rev 1300603)
@@ -4,7 +4,7 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3-solver')
-pkgver=4.11.0
+pkgver=4.11.2
 pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
@@ -13,8 +13,8 @@
 makedepends=('glibc' 'cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs'
              'python-build' 'python-installer' 'python-wheel')
 source=(https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz)
-sha512sums=('a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905')
-b2sums=('5b59efdf74d5d358daf23f877a090b240909eab14bebb9f23c68c7eb7fb7f2258afc049665061f61d10c1e092382f707f094f12c20f33c7e06c7939275b231d0')
+sha512sums=('be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a')
+b2sums=('85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1')
 
 build() {
   cd $pkgbase-z3-$pkgver