1 files changed, 2 insertions, 0 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