--2010-05-31 13:35:51--  ftp://vlsi.colorado.edu/pub/cudd-2.4.2.tar.gz
           => `./.listing'
Resolving vlsi.colorado.edu... 128.138.189.43
Connecting to vlsi.colorado.edu|128.138.189.43|:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD /pub ... done.
==> PASV ... done.    ==> LIST ... done.

     0K ..                                                     2.85K=0.7s

2010-05-31 13:35:53 (2.85 KB/s) - `./.listing' saved [2106]

Removed `./.listing'.
Remote file no newer than local file `./cudd-2.4.2.tar.gz' -- not retrieving.