ocaml/opam — pull request #1106 by rdicosmo (2014-01-17 13:57:27+00:00)
Title: When the request is unsatisfiable, use the default solver to provide exp...

...lanations if the external one does not.