ldr709 [1] filed an orphan request for python-claripy-git [2]: The package has been broken for nearly a year at least, because it depends on python-z3-solver-angr, which initially was broken but now has been deleted. It needs to be updated to depend on python3-z3 instead. The maintainer has not responded since the problem was reported, nearly a year ago. [1] https://aur.archlinux.org/account/ldr709/ [2] https://aur.archlinux.org/pkgbase/python-claripy-git/