A submodule collection of all the Mirage libraries