Add provides/conflicts

2 files changed, 7 insertions, 1 deletions

diff --git a/.SRCINFO b/.SRCINFO
index f75f7e7caed4..817bcb859ec9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
 
diff --git a/PKGBUILD b/PKGBUILD
index 8027e4fb3e8b..77632cf4ee8f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"