python-z3 -> python-z3-solver

thanks https://aur.archlinux.org/account/MarsSeed

1 files changed, 3 insertions, 3 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 7ed110a689f4..34b6d5edb6b2 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 # Maintainer: d.woffinden
 pkgname=z3-git
-pkgver=4.8.9.r232.gfae948130
+pkgver=4.12.2.r453.g2354998cd
 pkgrel=1
 pkgdesc='Z3 is a theorem prover from Microsoft Research'
 arch=('i686' 'x86_64')
@@ -9,8 +9,8 @@ license=('MIT')
 depends=('gcc-libs')
 makedepends=('git' 'python')
 optdepends=('python: bindings for python')
-conflicts=('z3' 'z3-bin' 'z3-codeplex' 'python-z3')
-provides=('z3' 'python-z3')
+conflicts=('z3' 'z3-bin' 'z3-codeplex' 'python-z3-solver')
+provides=('z3' 'python-z3-solver')
 source=("$pkgname"::"git+$url")
 md5sums=('SKIP')