diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2019-06-02 17:59:19 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2019-06-02 17:59:29 +0200 |
| commit | ba8467f158379d1e915ce2d842acaa2464289d70 (patch) | |
| tree | d9ccef5625a9901362172afe58c9cbe1fcec5b38 /community/z3 | |
| parent | 0586ffd5c24fb150bb88fae979c1bd60ad01a351 (diff) | |
| download | aports-ba8467f158379d1e915ce2d842acaa2464289d70.tar.bz2 aports-ba8467f158379d1e915ce2d842acaa2464289d70.tar.xz | |
community/z3: upgrade to 4.8.5
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 a027ced576..04560387fd 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" |