From e40f814f95550842d4ace066ee4563a2f079df52 Mon Sep 17 00:00:00 2001
From: Kevin Mihelich <kevin@archlinuxarm.org>
Date: Sat, 30 Apr 2022 20:13:01 +0000
Subject: [PATCH] community/z3 to 4.8.16-1

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

diff --git a/community/z3/PKGBUILD b/community/z3/PKGBUILD
index b6380f898..bae5467e4 100644
--- a/community/z3/PKGBUILD
+++ b/community/z3/PKGBUILD
@@ -7,7 +7,7 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3')
-pkgver=4.8.15
+pkgver=4.8.16
 pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
@@ -16,7 +16,7 @@ license=('MIT')
  # '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=('7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c')
+sha512sums=('385f6e1ee075b9eadb5aad338657a81f518eef382b99ce623448a630b79f5d414ebccfd1bb5e959626f0b82ef54a5f20326814ae988b5688d51578de6fb69615')
 
 prepare() {
   cd $pkgbase-z3-$pkgver