From 5f4dd3619183e031136d63adf8b202cf2c6cbd43 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Tempel?= <soeren+git@soeren-tempel.net>
Date: Sun, 16 Mar 2025 13:00:50 +0100
Subject: [PATCH] community/z3: upgrade to 4.14.1
---
community/z3/APKBUILD | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD
index 4d14e0899de1..697eaa7c8035 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
"
--
GitLab