[opam-publish] mirage-profile.0.1