mirari.1.0.0: Locally override the URL of the mirari repository.