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 /.SRCINFO | |
| parent | 78849bb4cea010239d532441f37369a10694734f (diff) | |
| download | aur-3b439f63b28d4a62a5f145ff99385f7d0060cbe1.tar.gz | |
switch python2-z3-solver dependency to z3
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = python2-claripy pkgdesc = An abstraction layer for constraint solvers pkgver = 7.7.9.21 - pkgrel = 1 + pkgrel = 2 url = https://github.com/angr/claripy arch = any license = BSD @@ -9,7 +9,7 @@ pkgbase = python2-claripy depends = python2 depends = python2-ana depends = python2-future - depends = python2-z3-solver + depends = z3 source = https://pypi.python.org/packages/b1/ab/323241b2f6ccb97828aa8221579905391d3103d4b45fba3c3d35fb244fc1/claripy-7.7.9.21.tar.gz source = https://raw.githubusercontent.com/angr/claripy/master/LICENSE source = python-version.patch |