--2010-06-02 21:13:18--  http://hal.cs.berkeley.edu/cil/distrib/cil-1.3.7.tar.gz
Resolving hal.cs.berkeley.edu... 128.32.37.178
Connecting to hal.cs.berkeley.edu|128.32.37.178|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 1295940 (1.2M) [application/x-gzip]
Server file no newer than local file `./cil-1.3.7.tar.gz' -- not retrieving.