rosinstall-generator (pypi): A tool for generating rosinstall files
Keywords: ROS