diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-06-04 10:32:31 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-06-04 15:03:05 +0200 |
| commit | 6f57be4c536279fbb29790ddf98492cd04d4a6d4 (patch) | |
| tree | 2dbea3fd2c40e0eb6d64f371f7926b6c0a23665a /testing | |
| parent | 9c4f7e3c1b6366e69e8b718d6b9d60577818c571 (diff) | |
| download | aports-6f57be4c536279fbb29790ddf98492cd04d4a6d4.tar.bz2 aports-6f57be4c536279fbb29790ddf98492cd04d4a6d4.tar.xz | |
testing/z3: upgrade to 4.7.1
Diffstat (limited to 'testing')
| -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" |