[aur-requests] [PRQ#3306] Orphan Request for cbmc-bin

[notify at aur.archlinux.org]

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/