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 _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
