diff options
author | Lance Roy | 2021-01-31 13:16:26 -0800 |
---|---|---|
committer | Lance Roy | 2021-01-31 13:16:26 -0800 |
commit | 5cd4bf35c661ab3988f2c318e5a1a0f140c07238 (patch) | |
tree | 0e14662905940d527135795c31725e17e42d58c8 /PKGBUILD | |
parent | 0861ea0182175ecabddb16253fc76cacde30bb97 (diff) | |
download | aur-5cd4bf35c661ab3988f2c318e5a1a0f140c07238.tar.gz |
Use arch's python-z3 instead of deleted AUR package python-z3-solver-angr
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,10 +3,10 @@ pkgname=python-claripy-git pkgdesc="An abstraction layer for constraint solvers." url="https://github.com/angr/claripy" -pkgver=8.19.2.4.r734.050ffe4 +pkgver=8.20.7.27.r1961.db253a68 pkgrel=1 arch=('any') -depends=('python' 'python-cachetools' 'python-future' 'python-z3-solver-angr') +depends=('python' 'python-cachetools' 'python-future' 'python-z3') makedepends=('git' 'python-setuptools') provides=("${pkgname%-git}") conflicts=("${pkgname%-git}") |