Idris Kabal sets failure. "The following packages are likely to be broken by reinstallations."

Question

First I do the cabal update / upgrade process, so I have cabal-install-1.20.0.3. Then I do:

cabal install idris 

I get:

 ... 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. 

(I am running OS X 10.9.4 if that matters)

Answer 1

The following packages may be damaged by reinstallations:

network-2.5.0.0
HTTP-4000.2.17

Use -force-reinstalls if you want to install anyway.

or use the sandbox as @Carsten suggested

Answer 2

Using the Kabbalah flag --avoid-reinstalls may help.