--2013-09-29 21:35:33--  https://gforge.inria.fr/frs/download.php/32743/gappalib-coq-1.0.0.tar.gz
Resolving gforge.inria.fr... 131.254.249.51
Connecting to gforge.inria.fr|131.254.249.51|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 118901 (116K) [application/binary]
Saving to: `./gappalib-coq-1.0.0.tar.gz'

     0K .......... .......... .......... .......... .......... 43% 85.7K 1s
    50K .......... .......... .......... .......... .......... 86%  133K 0s
   100K .......... ......                                     100% 18.8M=1.0s

Last-modified header missing -- time-stamps turned off.
2013-09-29 21:35:35 (121 KB/s) - `./gappalib-coq-1.0.0.tar.gz' saved [118901/118901]