Add python-z3 to provides/conflicts

2 files changed, 4 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c43d63da2888..f5bc46d52508 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -11,9 +11,11 @@ pkgbase = z3-git
 	depends = gcc-libs
 	optdepends = python: bindings for python
 	provides = z3
+	provides = python-z3
 	conflicts = z3
 	conflicts = z3-bin
 	conflicts = z3-codeplex
+	conflicts = python-z3
 	source = z3-git::git+https://github.com/Z3Prover/z3
 	md5sums = SKIP
 
diff --git a/PKGBUILD b/PKGBUILD
index 2d97f83ad524..e03975458519 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -9,8 +9,8 @@ license=('MIT')
 depends=('gcc-libs')
 makedepends=('git' 'python')
 optdepends=('python: bindings for python')
-conflicts=('z3' 'z3-bin' 'z3-codeplex')
-provides=('z3')
+conflicts=('z3' 'z3-bin' 'z3-codeplex' 'python-z3')
+provides=('z3' 'python-z3')
 source=("$pkgname"::"git+$url")
 md5sums=('SKIP')