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 /.SRCINFO | |
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 '.SRCINFO')
0 files changed, 0 insertions, 0 deletions