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

cabal フラグを使用すると--avoid-reinstalls役立つ場合があります。