rosinstall files for our roswiki-indexed repositories, and other uses. - View it on GitHub