--2010-05-31 13:29:28--  http://coq.inria.fr/V8.2pl1/files/coq-8.2pl1.tar.gz
Resolving coq.inria.fr... 129.104.11.29
Connecting to coq.inria.fr|129.104.11.29|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 3600620 (3.4M) [application/x-gzip]
Server file no newer than local file `./coq-8.2pl1.tar.gz' -- not retrieving.