[opam-devel] 'opam install' fails when it should(?) downgrade packages

[Martin Lucina]

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