--2010-06-02 21:13:15--  http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-5.12.tgz
Resolving pauillac.inria.fr... 128.93.11.35
Connecting to pauillac.inria.fr|128.93.11.35|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 685032 (669K) [application/x-tar]
Server file no newer than local file `./camlp5-5.12.tgz' -- not retrieving.