summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorkaptoxic2016-11-20 00:22:03 -0500
committerkaptoxic2016-11-20 00:22:03 -0500
commite3906524286354068b8ab49ecd752188163c0b79 (patch)
tree2156bd67d24e687cce684d69a0c43bcea31e04c9 /PKGBUILD
parent884f70fb960f06ead078f2b516c43f92f763670a (diff)
downloadaur-z3-bin.tar.gz
Remove git dependency
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 913e4e26a3c..9d98232c948 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
pkgname=z3-bin
pkgver=4.5.0
-pkgrel=1
+pkgrel=2
pkgdesc="An automatic high-performance theorem prover"
arch=(i686 x86_64)
url="http://research.microsoft.com/en-us/um/redmond/projects/z3"
@@ -17,8 +17,8 @@ md5sums=('243d48eb4c3531f323056040b94459ad')
_arch="x64"
}
depends=('gcc-libs')
-makedepends=('git' 'python')
-optdepends=('python: bindings for python')
+makedepends=('python')
+optdepends=('python: Z3 bindings for python')
conflicts=('z3' 'z3-git' 'z3-codeplex')
provides=('z3')