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/
Request #14421 has been accepted by polyzen [1].
aur-requests@lists.archlinux.org