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/