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
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0

  0     0    0  1144    0     0   1683      0 --:--:-- --:--:-- --:--:--  1683
  0     0    0  142k    0     0    98k      0 --:--:--  0:00:01 --:--:--  185k
  0     0    0  324k    0     0   177k      0 --:--:--  0:00:01 --:--:--  281k