[aur-requests] [PRQ#14657] Merge Request for python2-z3-solver