Erro de instalação do OCaml Opam depext

Erro de instalação do OCaml Opam depext

Estou lutando com o depext tentando instalá-lo, obviamente é uma grande falha.

Ao executar este comando

opam install depext

Eu recebo esse erro

[ERROR] Solver failed: "/usr/bin/aspcud
        /home/toto/.opam/log/solver-in-4016-5f1023
        /home/toto/.opam/log/solver-out-4016-58c514
        -count(removed),-sum(request,version-lag),-count(down),-sum(solution,version-lag),-count(changed)"
        exited with code 1 "ERROR: grounder returned with non-zero exit status"

Na verdade, estou executando isso em um Ubuntu 19.04 com uma versão OCaml 4.05.0. Já instalei o Opam para obter as dependências do Liquidsoap, seguindo este tutorial

https://www.linuxjournal.com/content/creating-internet-radio-station-icecast-and-liquidsoap 

Vou instalar o liquidsoap usando o pacote apt.

De qualquer forma, estou curioso para saber os motivos da falha na instalação.

Obrigado.

Responder1

O aspcudestá fazendo uma merda então decidi usar mccscomo solucionador externo.

detalhes de configuração estão aqui:

https://stackoverflow.com/questions/59448052/how-to-define-mccs-clingo-as-a-opam-solver-instead-of-aspcud/59459896#59459896

informação relacionada