Getting http://alt-ergo.ocamlpro.com/http/alt-ergo-0.95.2/alt-ergo-0.95.2.tar.gz to ./alt-ergo-0.95.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
 11  228k   11 25757    0     0  19542      0  0:00:11  0:00:01  0:00:10 19542
 36  228k   36 85125    0     0  37563      0  0:00:06  0:00:02  0:00:04 37566
 65  228k   65  149k    0     0  46917      0  0:00:04  0:00:03  0:00:01 46916
100  228k  100  228k    0     0  54055      0  0:00:04  0:00:04 --:--:-- 54052
100  228k  100  228k    0     0  54054      0  0:00:04  0:00:04 --:--:-- 57425