Search code examples
cabalcabal-installidris

idris cabal install fails. "The following packages are likely to be broken by the reinstalls"

I first 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'm running OS X 10.9.4 if that matters)

Solution

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

    or use sandbox as @Carsten suggested