[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 ?

No.  

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.  

Best,

Daniel




More information about the opam-devel mailing list