Bug#908203: opam: Should not depend on aspcud any more

[Mehdi Dogguy <mehdi@dogguy.org>]

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