diff options
Diffstat (limited to 'community/z3')
| -rw-r--r-- | community/z3/APKBUILD | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index a027ced5760..04560387fd1 100644 --- a/community/z3/APKBUILD +++ b/community/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.8.4 -pkgrel=1 +pkgver=4.8.5 +pkgrel=0 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all !s390x !aarch64" @@ -11,8 +11,8 @@ depends="" makedepends="cmake python3" install="" subpackages="$pkgname-dev py3-$pkgname:py3:noarch" -source="https://github.com/Z3Prover/$pkgname/archive/$pkgname-$pkgver.tar.gz" -builddir="$srcdir/$pkgname-$pkgname-$pkgver" +source="https://github.com/Z3Prover/$pkgname/archive/Z3-$pkgver.tar.gz" +builddir="$srcdir/$pkgname-Z3-$pkgver" build() { cd "$builddir" @@ -53,4 +53,4 @@ py3() { "$subpkgdir"/usr/lib/ } -sha512sums="4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4 z3-4.8.4.tar.gz" +sha512sums="ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309 Z3-4.8.5.tar.gz" |