Description:

opam's PKGBUILD lists aspcud in depends=(), but as of opam 2.0, this is no longer needed.

https://opam.ocaml.org/doc/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. However, these are still supported, and can be
> useful in some specific cases.

If solver preferences are left intact, opam 2.0 never invokes aspcud.

I propose one of the following:

- move aspcud to optdepends=() in opam; or
- drop aspcud. No longer the preferred CUDF backend, it is merely one of the 4 supported -- and optional -- external solvers. It can be removed from [community] together with its dep clingo.