ljmf00 [1] filed a deletion request for python-catkin_lint [2]: As a suggestion, this package should be renamed to python-catkin-lint or even catkin-lint
[1] https://aur.archlinux.org/account/ljmf00/ [2] https://aur.archlinux.org/pkgbase/python-catkin_lint/
