Getting http://hackage.haskell.org/packages/archive/Agda/2.3.2.2/Agda-2.3.2.2.tar.gz to ./Agda-2.3.2.2.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     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0

  0     0    0 86081    0     0  53613      0 --:--:--  0:00:01 --:--:-- 53613
  0     0    0  500k    0     0   165k      0 --:--:--  0:00:03 --:--:--  291k
  0     0    0  986k    0     0   275k      0 --:--:--  0:00:03 --:--:--  456k
  0     0    0 1987k    0     0   445k      0 --:--:--  0:00:04 --:--:--  666k