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
