quang [1] filed an orphan request for python-claripy-git [2]:

Should use python-z3 from the community repo

[1] https://aur.archlinux.org/account/quang/
[2] https://aur.archlinux.org/pkgbase/python-claripy-git/

Reply via email to