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