1 files changed, 2 insertions, 2 deletions
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')