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

notify at aur.archlinux.org notify at aur.archlinux.org
Thu May 14 13:10:02 UTC 2015

PythonShell [1] filed a orphan request for cbmc-bin [2]:

It seems the maintainer no longer maintains the package, I wanna adopt

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

[1] https://aur.archlinux.org/account/PythonShell/
[2] https://aur.archlinux.org/pkgbase/cbmc-bin/

More information about the aur-requests mailing list