bump(main/z3): 4.13.2

This commit has been automatically submitted by Github Actions.
termux · Sep 27, 2024 · f25489d · f25489d
1 parent 9bf237f
commit f25489d
Showing 1 changed file with 2 additions and 3 deletions.
diff --git 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++"