diff options
-rw-r--r-- | .SRCINFO | 7 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 6 insertions, 7 deletions
@@ -1,17 +1,16 @@ # Generated by mksrcinfo v8 -# Sun Nov 20 05:21:18 UTC 2016 +# Sun Nov 20 05:22:00 UTC 2016 pkgbase = z3-bin pkgdesc = An automatic high-performance theorem prover pkgver = 4.5.0 - pkgrel = 1 + pkgrel = 2 url = http://research.microsoft.com/en-us/um/redmond/projects/z3 arch = i686 arch = x86_64 license = MIT - makedepends = git makedepends = python depends = gcc-libs - optdepends = python: bindings for python + optdepends = python: Z3 bindings for python provides = z3 conflicts = z3 conflicts = z3-git @@ -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') |