Hi Ralf, On 2018-09-07 12:42, Ralf Jung wrote:
Package: opam Version: 2.0.0-2 Severity: normal Dear Maintainer, Quoting from https://opam.ocaml.org/doc/2.0/External_solvers.html:As of 2.0.0, opam comes with a CUDF solver built-in by default, so unless you have specifically compiled without it, you shouldn't have to be worried aboutinstalling an external solver.So, aspcud should at best be a recommendation, not a dependency. Likely, it should just be a suggestions; the internal solver is used by default even whenaspcud is installed.
If I am not mistaken, the built-in solver is not enabled in the Debian package because we are missing ocaml-mccs to make it work. So, for now, the dependency
is still needed. Regards, -- Mehdi