It is generally nice to have a human-readable message in the case of package installation failure when a package relies upon depexts. More than the usual "use opam depext" message, this message can specify information like the version of a depext required.
It is generally nice to have a human-readable message in the case of package installation failure when a package relies upon depexts. More than the usual "use opam depext" message, this message can specify information like the version of a depext required.