--2010-01-08 00:59:09-- http://hal.cs.berkeley.edu/cil/distrib/cil-1.3.7.tar.gz Resolving hal.cs.berkeley.edu... 128.32.37.178 Connecting to hal.cs.berkeley.edu|128.32.37.178|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 1295940 (1.2M) [application/x-gzip] Saving to: `./cil-1.3.7.tar.gz' 0K .......... .......... .......... .......... .......... 3% 3.90M 0s 50K .......... .......... .......... .......... .......... 7% 5.55M 0s 100K .......... .......... .......... .......... .......... 11% 7.18M 0s 150K .......... .......... .......... .......... .......... 15% 3.62M 0s 200K .......... .......... .......... .......... .......... 19% 6.75M 0s 250K .......... .......... .......... .......... .......... 23% 6.94M 0s 300K .......... .......... .......... .......... .......... 27% 3.88M 0s 350K .......... .......... .......... .......... .......... 31% 22.0M 0s 400K .......... .......... .......... .......... .......... 35% 6.46M 0s 450K .......... .......... .......... .......... .......... 39% 4.09M 0s 500K .......... .......... .......... .......... .......... 43% 8.66M 0s 550K .......... .......... .......... .......... .......... 47% 6.45M 0s 600K .......... .......... .......... .......... .......... 51% 7.10M 0s 650K .......... .......... .......... .......... .......... 55% 5.24M 0s 700K .......... .......... .......... .......... .......... 59% 14.5M 0s 750K .......... .......... .......... .......... .......... 63% 7.66M 0s 800K .......... .......... .......... .......... .......... 67% 6.32M 0s 850K .......... .......... .......... .......... .......... 71% 8.23M 0s 900K .......... .......... .......... .......... .......... 75% 7.20M 0s 950K .......... .......... .......... .......... .......... 79% 5.79M 0s 1000K .......... .......... .......... .......... .......... 82% 7.59M 0s 1050K .......... .......... .......... .......... .......... 86% 8.05M 0s 1100K .......... .......... .......... .......... .......... 90% 7.17M 0s 1150K .......... .......... .......... .......... .......... 94% 18.4M 0s 1200K .......... .......... .......... .......... .......... 98% 23.8M 0s 1250K .......... ..... 100% 20.3M=0.2s 2010-01-08 00:59:10 (6.76 MB/s) - `./cil-1.3.7.tar.gz' saved [1295940/1295940]