diff options
author | kaptoxic | 2016-11-20 00:14:51 -0500 |
---|---|---|
committer | kaptoxic | 2016-11-20 00:14:51 -0500 |
commit | 573ca77347e11f0410291558afae033e024294e4 (patch) | |
tree | 72eda2888102d6f434a702bde564ec8a2ecfa943 | |
parent | afe4fe2fa2f0cc290516a8b272418b0eca79aa69 (diff) | |
download | aur-573ca77347e11f0410291558afae033e024294e4.tar.gz |
Get rid of some warnings
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Sun Nov 20 05:12:26 UTC 2016 +# Sun Nov 20 05:14:50 UTC 2016 pkgbase = z3-bin pkgdesc = An automatic theorem prover pkgver = 4.5.0 @@ -1,4 +1,4 @@ -# Contributor: kaptoxic(at)yahoo(dot)com +# Maintainer: kaptoxic(at)yahoo(dot)com # Contributor: Paolo Herms pkgname=z3-bin @@ -12,7 +12,7 @@ _arch="x86" source=("https://github.com/Z3Prover/z3/releases/download/z3-${pkgver}/z3-${pkgver}-x86-ubuntu-14.04.zip") md5sums=('243d48eb4c3531f323056040b94459ad') [[ "$CARCH" = x86_64 ]] && { - source="https://github.com/Z3Prover/z3/releases/download/z3-${pkgver}/z3-${pkgver}-x64-ubuntu-14.04.zip" + source=("https://github.com/Z3Prover/z3/releases/download/z3-${pkgver}/z3-${pkgver}-x64-ubuntu-14.04.zip") md5sums=('030fe472df4c6b2f16019e0ef12c8918') _arch="x64" } |