[aur-requests] [PRQ#26500] Deletion Request for z3-bin
19 Jun
2021
19 Jun
'21
5:57 p.m.
palasso [1] filed a deletion request for z3-bin [2]: z3 is available on the community repository. [1] https://aur.archlinux.org/account/palasso/ [2] https://aur.archlinux.org/pkgbase/z3-bin/
23 Jun
23 Jun
2:39 a.m.
New subject: [aur-requests] [PRQ#26500] Deletion Request for z3-bin Accepted
Request #26500 has been accepted by grawlinson [1]. [1] https://aur.archlinux.org/account/grawlinson/
1240
Age (days ago)
1243
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org