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

23 Jun 2021


      Request #26499 has been accepted by grawlinson [1].

[1] https://aur.archlinux.org/account/grawlinson/

notify＠aur.archlinux.org