Getting http://gallium.inria.fr/~fpottier/menhir/menhir-20130911.tar.gz to ./menhir-20130911.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
 13  534k   13 74989    0     0  64818      0  0:00:08  0:00:01  0:00:07 64813
 53  534k   53  283k    0     0   135k      0  0:00:03  0:00:02  0:00:01  135k
100  534k  100  534k    0     0   177k      0  0:00:03  0:00:03 --:--:--  177k