[opam-devel] On the new mixed mode pins

Daniel Bünzli daniel.buenzli at erratique.ch
Mon Aug 3 10:44:35 BST 2015

Le lundi, 3 août 2015 à 09:37, Thomas Leonard a écrit :
> How about moving mixed mode to "path" instead of "git" (as I think
> someone suggested before)?

How about killing it altogether ? mixed-mode is confusing as is at the moment the semantics of the whole pin-system. I updated https://github.com/ocaml/opam/issues/2156 with a summary of the previous discussion to make it more clear what I think is needed.



More information about the opam-devel mailing list