[PRQ#53473] Orphan Request for cbmc Accepted

[notify]

Request #53473 has been Accepted by yellingdog [1].

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