derektbrown [1] filed a request to merge cbmc-bin [2] into cbmc [3]: identical packages [1] https://aur.archlinux.org/account/derektbrown/ [2] https://aur.archlinux.org/pkgbase/cbmc-bin/ [3] https://aur.archlinux.org/pkgbase/cbmc/