./idris-0.9.9.1.tar.gz already exists, skipping download
Getting http://hackage.haskell.org/packages/archive/idris/0.9.9.1/idris-0.9.9.1.tar.gz to ./idris-0.9.9.1.tar.gz