diff options
| author | oneup | 2017-12-01 00:58:27 -0500 |
|---|---|---|
| committer | oneup | 2017-12-01 00:58:27 -0500 |
| commit | 3b439f63b28d4a62a5f145ff99385f7d0060cbe1 (patch) | |
| tree | 725131e813a39d9da11b4ddc6e3dbe4f6b6c99af /PKGBUILD | |
| parent | 78849bb4cea010239d532441f37369a10694734f (diff) | |
| download | aur-3b439f63b28d4a62a5f145ff99385f7d0060cbe1.tar.gz | |
switch python2-z3-solver dependency to z3
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,10 +4,10 @@ pkgname=python2-claripy pkgver=7.7.9.21 -pkgrel=1 +pkgrel=2 pkgdesc="An abstraction layer for constraint solvers" url="https://github.com/angr/claripy" -depends=('python2' 'python2-ana' 'python2-future' 'python2-z3-solver') +depends=('python2' 'python2-ana' 'python2-future' 'z3') makedepends=('python2-distribute' ) license=('BSD') arch=('any') |