diff options
| -rw-r--r-- | testing/z3/APKBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testing/z3/APKBUILD b/testing/z3/APKBUILD index 60149f11bd..7772fa03e6 100644 --- a/testing/z3/APKBUILD +++ b/testing/z3/APKBUILD @@ -1,8 +1,8 @@ # Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net> # Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net> pkgname=z3 -pkgver=4.6.0 -pkgrel=3 +pkgver=4.7.1 +pkgrel=0 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all !s390x !ppc64le !aarch64" @@ -53,4 +53,4 @@ py3() { "$subpkgdir"/usr/lib/ } -sha512sums="92a87292db17ceb4a90e45bce4f6237fe0437a7a5e147b4b63a2cb793e2d59fc04a6aa579ddb904280eac08b4a85c600df092d4c2fa99239199514b9c0363243 z3-4.6.0.tar.gz" +sha512sums="4c8c856691134298c4b5e465d6fadfe446532dfcd8c92aed7c9a6bbfc8557074a45cd7316dbfa5045824e2504db159afeb8ff676d4bfc942496623cf31d11aa0 z3-4.7.1.tar.gz" |