--2010-06-03 03:04:48--  http://www.splint.org/downloads/splint-3.1.2.src.tgz
Resolving www.splint.org... 128.143.137.29
Connecting to www.splint.org|128.143.137.29|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 2284033 (2.2M) [application/x-gzip]
Server file no newer than local file `./splint-3.1.2.src.tgz' -- not retrieving.