Leif Metcalf

`cabal v1-install idris` gives ``` cabal: The following packages are likely to be broken by the reinstalls: Cabal-2.4.0.1 Use --force-reinstalls if you want to install anyway. ```

Getting the same error for ghc-mod on a fresh install of Ubuntu 18.04