diff options
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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}") |