[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



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.

Kind regards,
Ralf

-- System Information:
Debian Release: buster/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable-debug'), (500, 'testing-debug'), (100, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.17.0-3-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled


Reply to: