From f25489d5c0e85a0ced53cc707e20359062ce9cf4 Mon Sep 17 00:00:00 2001
From: Termux Github Actions <contact@termux.dev>
Date: Fri, 27 Sep 2024 18:40:52 +0000
Subject: [PATCH] bump(main/z3): 4.13.2

This commit has been automatically submitted by Github Actions.
---
 packages/z3/build.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/packages/z3/build.sh b/packages/z3/build.sh
index 4e36a01e425131..95adc2e94afaab 100644
--- a/packages/z3/build.sh
+++ b/packages/z3/build.sh
@@ -2,10 +2,9 @@ TERMUX_PKG_HOMEPAGE=https://github.com/Z3Prover/z3
 TERMUX_PKG_DESCRIPTION="Z3 is a theorem prover from Microsoft Research"
 TERMUX_PKG_LICENSE="MIT"
 TERMUX_PKG_MAINTAINER="@termux"
-TERMUX_PKG_VERSION="4.13.0"
-TERMUX_PKG_REVISION=1
+TERMUX_PKG_VERSION="4.13.2"
 TERMUX_PKG_SRCURL=https://github.com/Z3Prover/z3/archive/refs/tags/z3-${TERMUX_PKG_VERSION}.tar.gz
-TERMUX_PKG_SHA256=01bcc61c8362e37bb89fd2430f7e3385e86df7915019bd2ce45de9d9bd934502
+TERMUX_PKG_SHA256=fd7dc6dd2633074f0a47670d6378b0e5c28c2c26f2b58aa23e9cd7f0bc9ba0dc
 TERMUX_PKG_AUTO_UPDATE=true
 TERMUX_PKG_UPDATE_VERSION_REGEXP="\d+\.\d+\.\d+"
 TERMUX_PKG_DEPENDS="libc++"