From e68c8c3e84387a285c29479f6c8c20d24992b02d Mon Sep 17 00:00:00 2001
From: Kevin Mihelich <kevin@archlinuxarm.org>
Date: Thu, 23 Feb 2023 19:56:39 +0000
Subject: [PATCH] community/z3 to 4.12.1-1

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

diff --git a/community/z3/PKGBUILD b/community/z3/PKGBUILD
index 69abd3737..ce95d21d6 100644
--- a/community/z3/PKGBUILD
+++ b/community/z3/PKGBUILD
@@ -7,8 +7,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'