Getting http://why3.lri.fr/download/why3-0.82.tar.gz to ./why3-0.82.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:00:01 --:--:--     0
  0     0    0     0    0     0      0      0 --:--:--  0:00:02 --:--:--     0
  0     0    0     0    0     0      0      0 --:--:--  0:00:03 --:--:--     0
  0     0    0     0    0     0      0      0 --:--:--  0:00:04 --:--:--     0
  0     0    0     0    0     0      0      0 --:--:--  0:00:05 --:--:--     0
  0 5336k    0 11269    0     0   1827      0  0:49:50  0:00:06  0:49:44  2420
  2 5336k    2  148k    0     0  21016      0  0:04:20  0:00:07  0:04:13 32233
 10 5336k   10  537k    0     0  67479      0  0:01:20  0:00:08  0:01:12  115k
 17 5336k   17  924k    0     0   101k      0  0:00:52  0:00:09  0:00:43  199k
 25 5336k   25 1372k    0     0   134k      0  0:00:39  0:00:10  0:00:29  292k
 33 5336k   33 1791k    0     0   160k      0  0:00:33  0:00:11  0:00:22  357k
 41 5336k   41 2239k    0     0   183k      0  0:00:29  0:00:12  0:00:17  419k
 49 5336k   49 2658k    0     0   201k      0  0:00:26  0:00:13  0:00:13  420k
 58 5336k   58 3119k    0     0   220k      0  0:00:24  0:00:14  0:00:10  439k
 68 5336k   68 3659k    0     0   240k      0  0:00:22  0:00:15  0:00:07  457k
 77 5336k   77 4148k    0     0   256k      0  0:00:20  0:00:16  0:00:04  470k
 87 5336k   87 4671k    0     0   271k      0  0:00:19  0:00:17  0:00:02  487k
 96 5336k   96 5161k    0     0   284k      0  0:00:18  0:00:18 --:--:--  504k
100 5336k  100 5336k    0     0   288k      0  0:00:18  0:00:18 --:--:--  513k