Opam初始化-解算器失败（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，操作系统为Debian。

---

如果您需要更多详细信息，请询问我，谢谢大家。

我昨天遇到了同样的问题：它与Python版本不一致（3.7 vs 3.6）有关

我通过删除OPAM debian包并使用github repo上的安装脚本安装OPAM解决了这个问题：

---

有几个Github问题可能会有所帮助：