--2010-05-31 13:14:40--  http://www.cduce.org/download/cduce-0.5.3.tar.gz
Resolving www.cduce.org... 81.194.35.6
Connecting to www.cduce.org|81.194.35.6|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 594275 (580K) [application/x-gzip]
Server file no newer than local file `./cduce-0.5.3.tar.gz' -- not retrieving.

--2010-05-31 13:14:41--  http://caml.inria.fr/distrib/ocaml-3.11/ocaml-3.11.2+rc1.tar.bz2
Resolving caml.inria.fr... 128.93.11.23
Connecting to caml.inria.fr|128.93.11.23|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 2345810 (2.2M) [application/x-tar]
Server file no newer than local file `./ocaml-3.11.2+rc1.tar.bz2' -- not retrieving.