ulyssesrr [1] filed a orphan request for python2-z3-solver [2]: Package is out-of-date for almost a year, as per https://pypi.org/project/z3-solver/#history [1] https://aur.archlinux.org/account/ulyssesrr/ [2] https://aur.archlinux.org/pkgbase/python2-z3-solver/