--2010-06-02 11:00:21--  http://www.flintlib.org/flint-1.2.0.tar.gz
Resolving www.flintlib.org... 128.208.160.197
Connecting to www.flintlib.org|128.208.160.197|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 736006 (719K) [application/x-gzip]
Server file no newer than local file `./flint-1.2.0.tar.gz' -- not retrieving.