PythonShell [1] filed a orphan request for cbmc-bin [2]: It seems the maintainer no longer maintains the package, I wanna adopt it. The version of cbmc now is 5.0 in the official site, far forward than the package in AUR. However, I still wish the package can be maintained by the original maintainer. [1] https://aur.archlinux.org/account/PythonShell/ [2] https://aur.archlinux.org/pkgbase/cbmc-bin/