[PRQ#53473] Orphan Request for cbmc

yellingdog [1] filed an orphan request for cbmc [2]: Four years out of date. [1] https://aur.archlinux.org/account/yellingdog/ [2] https://aur.archlinux.org/pkgbase/cbmc/

[PRQ#53473] Orphan Request for cbmc Accepted

Request #53473 has been Accepted by yellingdog [1]. [1] https://aur.archlinux.org/account/yellingdog/