--2013-09-30 05:15:09--  http://minisat.se/downloads/minisat-2.2.0.tar.gz
Resolving minisat.se... 213.133.110.145
Connecting to minisat.se|213.133.110.145|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 43879 (43K) [application/x-gzip]
Saving to: `./minisat-2.2.0.tar.gz'

     0K .......... .......... .......... .......... ..        100% 56.0K=0.8s

2013-09-30 05:15:11 (56.0 KB/s) - `./minisat-2.2.0.tar.gz' saved [43879/43879]

--2013-09-30 05:15:11--  http://www.dwheeler.com/essays/minisat-user-guide-1.0.html
Resolving www.dwheeler.com... 208.86.184.80
Connecting to www.dwheeler.com|208.86.184.80|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 8263 (8.1K) [text/html]
Server file no newer than local file `./minisat-user-guide-1.0.html' -- not retrieving.