title: Trouble installing Idris on Ubuntu
body: <p>Not sure if this site is the best place for asking such a question but I've already posted on r/Idris, see <a href="https://www.reddit.com/r/Idris/comments/6hw2cz/trouble_installing_idris/" rel="nofollow noreferrer">here</a>. </p>
  
  <p>I initially ran <code>$cabal update</code> and <code>$cabal install idris</code> and it failed because distributive-0.5.2 failed to install. Since then I've tried deleting and reinstalling cabal, deleting and reinstalling the Haskell Platform, playing with directories, following installation instructions for Debian, etc. It always comes down to the failure of distributive-0.5.2 to install. Any ideas?</p>
  
  <p>Update: as suggested by noobninja I ran <code>$cabal install Distributive --reinstall</code> which failed to load interface "Distribution.Extra.Doctest" because there are files missing in "cabal-doctest-1.0.2." I then ran <code>ghc-pkg-check</code> and got a huge list of errors.</p>