[opam-devel] pin and constraints

Daniel Bünzli daniel.buenzli at erratique.ch
Thu Jun 18 11:01:02 BST 2015

Le jeudi, 18 juin 2015 à 10:09, Louis Gesbert a écrit :
> Will that do ?


Le jeudi, 18 juin 2015 à 10:10, Thomas Leonard a écrit :
> You can add whatever version you want to the pin, e.g.

Yes. Thanks.  

Apparently I didn't get that pins were associated to a package version, I thought they were somehow a version for themselves, one which was greater than any other. So if I gather things correctly `opam pin PKG …` is actually a synonym for `opam pin PKG.$VERSION` where $VERSION is the latest known version of PKG.  



More information about the opam-devel mailing list