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

notify at aur.archlinux.org notify at aur.archlinux.org
Fri Apr 12 13:40:49 UTC 2019

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/

More information about the aur-requests mailing list