1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index cc2d8f73e199..9cf37d840196 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -6,7 +6,7 @@ url="https://github.com/angr/claripy"
 pkgver=8.20.7.27.r1961.db253a68
 pkgrel=1
 arch=('any')
-depends=('python' 'python-cachetools' 'python-future' 'python-z3')
+depends=('python' 'python-cachetools' 'python-future' 'python-z3-solver')
 makedepends=('git' 'python-setuptools')
 provides=("${pkgname%-git}")
 conflicts=("${pkgname%-git}")