[opam-devel] opam install says: Your request cannot be satisfied.

[Ashish Agarwal]

Yes, it prints out a long list of what constraints needed to be satisfied
but couldn't be. Okay, I was just wondering this for a related question on
the Core mailing list, which Anil suggested might be solved by using
aspcud. It's already confirmed that the particular solver didn't help that
issue, which would also have been clear if I knew that "Your request cannot
be satisfied" means "provably cannot be satisfied". I'm not suggesting a
wording change. I think it's fine.


On Tue, Jan 28, 2014 at 8:45 AM, Thomas Gazagnaire <thomas at gazagnaire.org>wrote:

> > `opam install` says "Your request cannot be satisfied." What exactly
> does that mean? Has the solver proven that the constraints definitively
> cannot be satisfied or is there still a possible solution?
>
> What else does it prints ? A conflict list ? Yes, it ought to means "there
> is no solution satisfying the request", but it's possible than the wording
> is not precise enough.
>
> Thomas
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20140128/cd10917e/attachment.html>