[aur-requests] [PRQ#26500] Deletion Request for z3-bin

[notify--- via aur-requests]

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/