diff options
author | Lance Roy | 2021-01-31 13:19:07 -0800 |
---|---|---|
committer | Lance Roy | 2021-01-31 13:19:07 -0800 |
commit | dee30bf929c9e0af208dbf6ba45bab426e81fe38 (patch) | |
tree | 60cc58478880ac1501e800f056f7f55b5aefc991 | |
parent | 5cd4bf35c661ab3988f2c318e5a1a0f140c07238 (diff) | |
download | aur-dee30bf929c9e0af208dbf6ba45bab426e81fe38.tar.gz |
Update .SRCINFO
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = python-claripy-git pkgdesc = An abstraction layer for constraint solvers. - pkgver = 8.19.2.4.r734.050ffe4 + pkgver = 8.20.7.27.r1961.db253a68 pkgrel = 1 url = https://github.com/angr/claripy arch = any @@ -10,7 +10,7 @@ pkgbase = python-claripy-git depends = python depends = python-cachetools depends = python-future - depends = python-z3-solver-angr + depends = python-z3 provides = python-claripy conflicts = python-claripy source = python-claripy-git::git+https://github.com/angr/claripy.git#branch=master |