title: idris cabal install fails. "The following packages are likely to be broken by the reinstalls"
body: <p>I first do the cabal update/upgrade process so I have cabal-install-1.20.0.3. Then I do:</p>
  
  <pre><code>cabal install idris
  </code></pre>
  
  <p>I get:</p>
  
  <pre><code>...
  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.
  </code></pre>
  
  <p>(I'm running OS X 10.9.4 if that matters)</p>