[aur-requests] [PRQ#19294] Deletion Request for python-z3-solver-angr
14 May
2020
14 May
'20
8:10 p.m.
quang [1] filed a deletion request for python-z3-solver-angr [2]: This uses an old version of python-z3 which does not support the new version of z3. [1] https://aur.archlinux.org/account/quang/ [2] https://aur.archlinux.org/pkgbase/python-z3-solver-angr/
6 Jun
6 Jun
7:19 a.m.
New subject: [aur-requests] [PRQ#19294] Deletion Request for python-z3-solver-angr Accepted
Request #19294 has been accepted by Foxboron [1]. [1] https://aur.archlinux.org/account/Foxboron/
1671
Age (days ago)
1693
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org