diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD
index 4d14e0899de1e6d599616952425c8e6c9f85e5f3..697eaa7c8035194fa6c898ef3c409bad187f5d9f 100644
--- a/community/z3/APKBUILD
+++ b/community/z3/APKBUILD
@@ -1,7 +1,7 @@
 # Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
 # Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net>
 pkgname=z3
-pkgver=4.14.0
+pkgver=4.14.1
 pkgrel=0
 pkgdesc="Theorem prover from Microsoft Research"
 url="https://github.com/Z3Prover/z3"
@@ -44,6 +44,6 @@ py3() {
 }
 
 sha512sums="
-5a3de3207b5c05f77f8369d7fdbb9e13a7db850f8c3edaa8f2adfcf58b186d34409e4a56d44646f853027850941135be5042e67a53ddf3302dc3b645c1ab3db4  z3-4.14.0.tar.gz
+5850821aa93908c952663bfdcae291a9e8cd00082e0fa6d3ea4ffaebf076116d524660e22934e339da4972f43510adcccba1816be0a3e6bb60ab2c380f5a58ab  z3-4.14.1.tar.gz
 e1dbb08cef63f3002b335338c235f2ab590254d1a94417f89a8646f2fb29f59ceeb0e8c06d1e7c9f80e46c3c325fb57be9d8f003e49674acec8bbdfd4b3ab7bd  0001-Load-libz3.so-via-ctypes.util.find_library.patch
 "