rosdistro (pypi): A tool to work with rosdistro files
Keywords: ROS