[aur-requests] [PRQ#26499] Deletion Request for yices-bin

[notify--- via aur-requests]

palasso [1] filed a deletion request for yices-bin [2]:

There is yices on the community repository for about a year now thus
it's not needed.

[1] https://aur.archlinux.org/account/palasso/
[2] https://aur.archlinux.org/pkgbase/yices-bin/