ulyssesrr [1] filed a request to merge python2-z3-solver [2] into python2-z3 [3]: This package existed in the community repo as "python2-z3" but has been removed as part of the python 2 deprecation process. I believe we should keep using that name. [1] https://aur.archlinux.org/account/ulyssesrr/ [2] https://aur.archlinux.org/pkgbase/python2-z3-solver/ [3] https://aur.archlinux.org/pkgbase/python2-z3/