I notice that "opam publish" doesn't autoinstall the plugin (as occurs with depext). This is because the OPAM package name is "opam-publish" instead of simply "publish". Should we rename it, or duplicate the package metadata so that the autoinstallation works?
-anil _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
