Opam init - 求解器失败(Debian)

Opam init - Solver Fail (Debian)

大家好,
我安装了 opam,当我 运行:

opam init

初始化失败并给我这个错误:

[ERROR] Solver failed: "/usr/bin/aspcud /tmp/opam-xxx-15/solver-in-15-548b09 /tmp/opam-xxx-15/solver-out-15-8b8a2d
    -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"

我该如何解决?
opam 版本是 2.0.3,OS 是 Debian。
如果您需要更多详细信息,请问我,谢谢大家。

我昨天遇到了同样的问题:它与 Python 版本不一致(3.7 vs 3.6)有关。

我通过删除 OPAM debian 软件包并使用 github 存储库中的安装脚本安装 OPAM 解决了这个问题:

https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh