On Thursday, 09.07.2015 at 11:07, David Sheets wrote: > > How can I debug this? Is there a way to get more information from the > > dependency solver about why it is choosing the above solution? > > Do you have aspcud installed? If not (or one of the other supported > external solvers), then you are using opam's approximate (and often > bad/wrong) internal solver.
Aha, that was the culprit. I also upgraded my Debian installation to jessie and removed aspcud somewhere along the way. Perhaps OPAM should print a warning if it is running without aspcud installed? Thanks, Martin _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
