[arch-commits] Commit in z3/trunk (PKGBUILD)

[Felix Yan]

    Date: Wednesday, April 20, 2022 @ 14:32:28
  Author: felixonmars
Revision: 1187140

upgpkg: z3 4.8.15-1

Modified:
  z3/trunk/PKGBUILD

----------+
 PKGBUILD |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2022-04-20 14:32:06 UTC (rev 1187139)
+++ PKGBUILD	2022-04-20 14:32:28 UTC (rev 1187140)
@@ -4,7 +4,7 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3')
-pkgver=4.8.14
+pkgver=4.8.15
 pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
@@ -13,7 +13,7 @@
  # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib'
 makedepends=('cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs')
 source=(https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz)
-sha512sums=('10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab')
+sha512sums=('7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c')
 
 prepare() {
   cd $pkgbase-z3-$pkgver