--2010-05-31 12:40:57--  http://alt-ergo.lri.fr/http/alt-ergo-0.9.tar.gz
Resolving alt-ergo.lri.fr... 129.175.15.11
Connecting to alt-ergo.lri.fr|129.175.15.11|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 115510 (113K) [application/x-gzip]
Server file no newer than local file `./alt-ergo-0.9.tar.gz' -- not retrieving.