diff options
author | kaptoxic | 2016-11-20 00:22:03 -0500 |
---|---|---|
committer | kaptoxic | 2016-11-20 00:22:03 -0500 |
commit | e3906524286354068b8ab49ecd752188163c0b79 (patch) | |
tree | 2156bd67d24e687cce684d69a0c43bcea31e04c9 /PKGBUILD | |
parent | 884f70fb960f06ead078f2b516c43f92f763670a (diff) | |
download | aur-e3906524286354068b8ab49ecd752188163c0b79.tar.gz |
Remove git dependency
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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') |