[opam-devel] On the new mixed mode pins

[Daniel Bünzli]

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