[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.
Best,
Daniel
More information about the opam-devel
mailing list