Re: version pinning in OPAM

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 10 Jul 2012, at 23:15, Richard Mortier wrote:

> sounds useful!  i prefer your second suggestion (not having the version 
> number in the package being pinned).
> 
> would it be possible to extend what you say so that i could type:
> 
> $ opam pin mirage 0.3dev      # to pin the mirage package to upstream release 
> 0.3dev
> $ opam pin mirage /local/path         # to pin the mirage package to my local 
> path
> $ opam unpin mirage           # to "unpin" and go back to tracking the 
> upstream
> 
> (or the latter could be "$ opam pin mirage latest" or somesuch if you don't 
> want the extra verb.)
> 

Oh that's a good idea: it would also permit the user to prevent a package from 
being updated even if a new version is available upstream.  Just like the 
Debian apt source for pinning.

-anil