quang [1] filed a deletion request for python-z3-solver-angr [2]: This uses an old version of python-z3 which does not support the new version of z3. [1] https://aur.archlinux.org/account/quang/ [2] https://aur.archlinux.org/pkgbase/python-z3-solver-angr/