Updated opam repo
forgotten files