2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index f5bc46d52508..ddeb0e65bdc3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = z3-git
 	pkgdesc = Z3 is a theorem prover from Microsoft Research
-	pkgver = 4.8.8.r706.g1c7d27bdf
+	pkgver = 4.12.2.r453.g2354998cd
 	pkgrel = 1
 	url = https://github.com/Z3Prover/z3
 	arch = i686
@@ -11,11 +11,11 @@ pkgbase = z3-git
 	depends = gcc-libs
 	optdepends = python: bindings for python
 	provides = z3
-	provides = python-z3
+	provides = python-z3-solver
 	conflicts = z3
 	conflicts = z3-bin
 	conflicts = z3-codeplex
-	conflicts = python-z3
+	conflicts = python-z3-solver
 	source = z3-git::git+https://github.com/Z3Prover/z3
 	md5sums = SKIP
 
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')