diff options
author | kaptoxic | 2016-11-20 00:16:17 -0500 |
---|---|---|
committer | kaptoxic | 2016-11-20 00:16:17 -0500 |
commit | f8055da26dd7a05f1f70c81f9e5f866fb6057e1a (patch) | |
tree | 50ecff5f91eae17de34b88b4d9792246f691ff1b | |
parent | fa6e92fc9417e83f0f61714b2e07932a08fd9861 (diff) | |
download | aur-f8055da26dd7a05f1f70c81f9e5f866fb6057e1a.tar.gz |
Add provides/conflicts
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 7 insertions, 1 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Sun Nov 20 05:15:55 UTC 2016 +# Sun Nov 20 05:16:16 UTC 2016 pkgbase = z3-bin pkgdesc = An automatic theorem prover pkgver = 4.5.0 @@ -12,6 +12,10 @@ pkgbase = z3-bin makedepends = python depends = gcc-libs optdepends = python: bindings for python + provides = z3 + conflicts = z3 + conflicts = z3-git + conflicts = z3-codeplex source = https://github.com/Z3Prover/z3/releases/download/z3-4.5.0/z3-4.5.0-x86-ubuntu-14.04.zip md5sums = 243d48eb4c3531f323056040b94459ad @@ -19,6 +19,8 @@ md5sums=('243d48eb4c3531f323056040b94459ad') depends=('gcc-libs') makedepends=('git' 'python') optdepends=('python: bindings for python') +conflicts=('z3' 'z3-git' 'z3-codeplex') +provides=('z3') package() { cd "$srcdir/z3-${pkgver}-${_arch}-ubuntu-14.04" |