diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2020-09-12 12:30:33 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2020-09-12 12:30:53 +0200 |
| commit | 2468356531be393b9054f08d6a12998f424ac0ae (patch) | |
| tree | 28a6a586add7f057a78efdb1ef3e22f63d4a8f16 /community/z3/APKBUILD | |
| parent | 4048a2de846fd14d0467a5c6851d9a4cfa20ce32 (diff) | |
community/z3: upgrade to 4.8.9
Diffstat (limited to 'community/z3/APKBUILD')
| -rw-r--r-- | community/z3/APKBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index a6ac15913cf..8f4a75a93db 100644 --- a/community/z3/APKBUILD +++ b/community/z3/APKBUILD @@ -1,7 +1,7 @@ # Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net> # Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net> pkgname=z3 -pkgver=4.8.8 +pkgver=4.8.9 pkgrel=0 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" @@ -50,5 +50,5 @@ py3() { "$subpkgdir"/usr/lib/ } -sha512sums="a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f z3-4.8.8.tar.gz +sha512sums="a50da5c3f9e27d3e804c1b71f648a3dbd5a55223b7344d66f191a1b34a4d787810abd976840d3ab3878aaf5c96d89f5a517cac0781b82aa927a9d8d54836d54f z3-4.8.9.tar.gz 9a99777d29558ffcc15fa43e3dc1da46261469c60561c5bc3bcaab40164ed59c45386ed597f27c8160e69acf16d0d8f3ddb06a53b52886ab146d54becc9ccb02 none-build-type.patch" |