I appreciate the thoughtful explanation, and I wasn't aware of the Debian policy that strongly discourages shipping programs as libraries.
Working around that policy, it looks like the problem still could be addressed by breaking out separate library and runtime packages. However, I've moved on and my workflow has somehow been adjusted (I forget now), so I won't push this issue any further. Feel free to close, and thank you for maintaining the package. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1892529 Title: `catkin` doesn't recognize `lint` verb To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ros-catkin-lint/+bug/1892529/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs