summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorkaptoxic2016-11-20 00:14:51 -0500
committerkaptoxic2016-11-20 00:14:51 -0500
commit573ca77347e11f0410291558afae033e024294e4 (patch)
tree72eda2888102d6f434a702bde564ec8a2ecfa943
parentafe4fe2fa2f0cc290516a8b272418b0eca79aa69 (diff)
downloadaur-573ca77347e11f0410291558afae033e024294e4.tar.gz
Get rid of some warnings
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD4
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ddff66f567e1..ab4f36e95320 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 06333b09569f..355f3ac57c82 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"
}