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 about
installing 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 when
aspcud 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
