Getting http://why3.lri.fr/download/why3-0.81.tar.gz to ./why3-0.81.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
  1 2585k    1 34437    0     0  10414      0  0:04:14  0:00:03  0:04:11 10413
  9 2585k    9  252k    0     0  60935      0  0:00:43  0:00:04  0:00:39 60924
 28 2585k   28  726k    0     0   138k      0  0:00:18  0:00:05  0:00:13  146k
 47 2585k   47 1221k    0     0   197k      0  0:00:13  0:00:06  0:00:07  260k
 66 2585k   66 1710k    0     0   238k      0  0:00:10  0:00:07  0:00:03  366k
 86 2585k   86 2238k    0     0   272k      0  0:00:09  0:00:08  0:00:01  448k
100 2585k  100 2585k    0     0   290k      0  0:00:08  0:00:08 --:--:--  501k