在Ubuntu上安装Idris时遇到问题

不确定这个网站是否是问这样一个问题的最佳场所，但我已经在r/Idris上发布了，请参阅

我最初运行了

$cabal update

和

$cabal install idris

，但它失败了，因为distributive-0.5.2安装失败。从那以后，我尝试删除并重新安装cabal，删除并重新安装Haskell平台，玩目录，遵循Debian的安装说明，等等。这总是归结为distributive-0.5.2安装失败。有什么想法吗

---

更新：根据noobninja的建议，我运行了

$cabal install Distributive--重新安装
，它无法加载接口“Distribution.Extra.Doctest”，因为“cabal-Doctest-1.0.2”中缺少文件然后，我运行了
ghc pkg检查
，得到了一个巨大的错误列表。
在Ubuntu 16.04中，我在这个目录
~/.cabal/lib/x86\u 64-linux-ghc-7.10.3
中找到了Distributive。Distributive已成功安装在我的系统上。您可以尝试
cabal安装Distributive
或
cabal安装Distributive——如果Distributive存在，请重新安装
。我听说用户在安装时内存不足。这是一个参考号。
https://ci.appveyor.com/project/idrislang/idris-dev/build/1.0.837
这里是分布式@github
https://github.com/ekmett/distributive/
noobninja See updateI也尝试过从github下载，然后安装idris，但没有成功。尝试重新安装Distributive，但失败了您提到的doctest。我发现了这个问题：
https://github.com/ekmett/distributive/issues/30
标题为ghc选项：-墙和doctest#30@noobninja看起来是那个问题的始作俑者为了解决这个问题“添加了阴谋集团的doctest”。提交中的bug可能是问题的根源吗？