--2010-05-31 12:55:06--  http://www.brics.dk/~amoeller/automaton/automaton-1.11-2.tar.gz
Resolving www.brics.dk... 130.225.16.15
Connecting to www.brics.dk|130.225.16.15|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 280369 (274K) [application/x-gzip]
Server file no newer than local file `./automaton-1.11-2.tar.gz' -- not retrieving.