Is there a problem with python-${modulename}? That is the recommended naming scheme as per https://wiki.archlinux.org/index.php/Python_package_guidelines#Package_namin....

Also, why a deletion request for this? You could have added a comment to the package page.

On Sat, Jun 29, 2019 at 10:38 AM notify@aur.archlinux.org wrote:

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/