Re: version pinning in OPAM

[Thomas Gazagnaire <thomas.gazagnaire@xxxxxxxxx>]

>> Is this convenient ? Would it be better to have "opam pin mirage 
>> /local/path" instead (ie. no package version) and a more specific 
>> update/upgrade command (like "opam pin -reinstall") to just upgrade the 
>> pinned packages without having to do a full upgrade ?
> 
> The only problem I see with 'update && upgrade' is that you are forced to 
> upgrade all packages, including any other ones that came from upstream.  Not 
> sure if that will be a problem in practise or not.

Yes that's exactly the problem with update/upgrade. Any better idea ? 'opam pin 
-update' to update/rebuild only the pinned packages in one step ?

--
Thomas