[PRQ#53473] Orphan Request for cbmc

[notify]

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/