bump(main/z3): 4.13.3

This commit has been automatically submitted by Github Actions.
termux · Oct 11, 2024 · d76ee04 · d76ee04
1 parent 375579b
commit d76ee04
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/packages/z3/build.sh b/packages/z3/build.sh
@@ -2,9 +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.2"
+TERMUX_PKG_VERSION="4.13.3"
 TERMUX_PKG_SRCURL=https://github.com/Z3Prover/z3/archive/refs/tags/z3-${TERMUX_PKG_VERSION}.tar.gz
-TERMUX_PKG_SHA256=fd7dc6dd2633074f0a47670d6378b0e5c28c2c26f2b58aa23e9cd7f0bc9ba0dc
+TERMUX_PKG_SHA256=f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0
 TERMUX_PKG_AUTO_UPDATE=true
 TERMUX_PKG_UPDATE_VERSION_REGEXP="\d+\.\d+\.\d+"
 TERMUX_PKG_DEPENDS="libc++"