20 Mar
2019
20 Mar
'19
11:16 p.m.
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/