Getting http://coq.inria.fr/V8.4pl3/files/coq-8.4pl3.tar.gz to ./coq-8.4pl3.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:00:01 --:--:--     0
  0     0    0     0    0     0      0      0 --:--:--  0:00:02 --:--:--     0
  0 3969k    0  1179    0     0    420      0  2:41:17  0:00:02  2:41:15   420
  4 3969k    4  177k    0     0  51291      0  0:01:19  0:00:03  0:01:16 51283
 21 3969k   21  836k    0     0   183k      0  0:00:21  0:00:04  0:00:17  183k
 62 3969k   62 2490k    0     0   450k      0  0:00:08  0:00:05  0:00:03  619k
100 3969k  100 3969k    0     0   652k      0  0:00:06  0:00:06 --:--:-- 1112k