[opam-devel] opam publish package name

Anil Madhavapeddy anil at recoil.org
Wed Aug 5 16:43:27 BST 2015


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


More information about the opam-devel mailing list