cabal - idris cabal 安装失败。“重新安装可能会破坏以下软件包”

Question

我首先执行 cabal 更新/升级过程，所以我有 cabal-install-1.20.0.3。然后我做：

cabal install idris

我得到：

...
idris-0.9.14.1 (new version)
The following packages are likely to be broken by the reinstalls:
network-2.5.0.0
HTTP-4000.2.17
Use --force-reinstalls if you want to install anyway.

（如果这很重要，我正在运行 OS X 10.9.4）

Answer 1

重新安装可能会破坏以下软件包：

网络
-2.5.0.0 HTTP-4000.2.17

如果您仍然想安装，请使用 --force-reinstalls。

或按照@Carsten 的建议使用沙箱

Answer 2

使用阴谋集团旗帜--avoid-reinstalls可能会有所帮助。