Le jeudi, 21 mai 2015 à 07:00, Louis Gesbert a écrit : > But we already have too many options.
Yes. Maybe `opam upgrade` can simply prompt for installation if the package is not installed (like reinstall proposes to install IIRC). This would allow to consistently use `upgrade` for handling pins with clear signs if they do not update and use `reinstall` only for forcing reinstalls. Daniel _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
