--2010-06-02 17:36:37--  http://minirpc.cs.cmu.edu/download/minirpc-0.3.2.tar.gz
Resolving minirpc.cs.cmu.edu... 128.2.212.163
Connecting to minirpc.cs.cmu.edu|128.2.212.163|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 410948 (401K) [application/x-gzip]
Server file no newer than local file `./minirpc-0.3.2.tar.gz' -- not retrieving.