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_naming.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 <[email protected]> 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/ -- Kartik
