Re: [Haskell-beginners] Installing Idris for Linux Dummies: "The following packages are likely to be broken..."