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