diff options
| author | Lance Roy | 2022-10-22 20:26:02 -0700 |
|---|---|---|
| committer | Lance Roy | 2022-10-22 20:26:02 -0700 |
| commit | da56296e5541598bbcbab667a673b94e0e76bf03 (patch) | |
| tree | 82259a2abe8f59d5fae3997a9db25a0cedf1cedf | |
| parent | 1aada6fc7d80aa9bb7fcb8940322f201345f79f5 (diff) | |
| download | aur-da56296e5541598bbcbab667a673b94e0e76bf03.tar.gz | |
python-z3 was renamed to python-z3-solver
| -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}") |