--2010-06-02 16:34:00--  http://perso.ens-lyon.fr/damien.stehle/downloads/libfplll-3.0.12.tar.gz
Resolving perso.ens-lyon.fr... 140.77.167.31
Connecting to perso.ens-lyon.fr|140.77.167.31|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 399360 (390K) [application/x-gzip]
Server file no newer than local file `./libfplll-3.0.12.tar.gz' -- not retrieving.