--2010-01-06 16:59:43-- http://coq.inria.fr/V8.2pl1/files/coq-8.2pl1.tar.gz Resolving coq.inria.fr... 129.104.11.29 Connecting to coq.inria.fr|129.104.11.29|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 3600620 (3.4M) [application/x-gzip] Saving to: `./coq-8.2pl1.tar.gz' 0K .......... .......... .......... .......... .......... 1% 2.01M 2s 50K .......... .......... .......... .......... .......... 2% 9.19M 1s 100K .......... .......... .......... .......... .......... 4% 4.41M 1s 150K .......... .......... .......... .......... .......... 5% 9.31M 1s 200K .......... .......... .......... .......... .......... 7% 5.57M 1s 250K .......... .......... .......... .......... .......... 8% 5.61M 1s 300K .......... .......... .......... .......... .......... 9% 6.34M 1s 350K .......... .......... .......... .......... .......... 11% 8.26M 1s 400K .......... .......... .......... .......... .......... 12% 4.92M 1s 450K .......... .......... .......... .......... .......... 14% 7.36M 1s 500K .......... .......... .......... .......... .......... 15% 12.5M 1s 550K .......... .......... .......... .......... .......... 17% 4.10M 1s 600K .......... .......... .......... .......... .......... 18% 7.32M 1s 650K .......... .......... .......... .......... .......... 19% 7.19M 0s 700K .......... .......... .......... .......... .......... 21% 8.62M 0s 750K .......... .......... .......... .......... .......... 22% 7.94M 0s 800K .......... .......... .......... .......... .......... 24% 10.1M 0s 850K .......... .......... .......... .......... .......... 25% 5.88M 0s 900K .......... .......... .......... .......... .......... 27% 7.41M 0s 950K .......... .......... .......... .......... .......... 28% 5.25M 0s 1000K .......... .......... .......... .......... .......... 29% 5.88M 0s 1050K .......... .......... .......... .......... .......... 31% 7.89M 0s 1100K .......... .......... .......... .......... .......... 32% 6.63M 0s 1150K .......... .......... .......... .......... .......... 34% 7.53M 0s 1200K .......... .......... .......... .......... .......... 35% 12.4M 0s 1250K .......... .......... .......... .......... .......... 36% 7.78M 0s 1300K .......... .......... .......... .......... .......... 38% 7.24M 0s 1350K .......... .......... .......... .......... .......... 39% 4.08M 0s 1400K .......... .......... .......... .......... .......... 41% 7.01M 0s 1450K .......... .......... .......... .......... .......... 42% 8.59M 0s 1500K .......... .......... .......... .......... .......... 44% 5.15M 0s 1550K .......... .......... .......... .......... .......... 45% 19.7M 0s 1600K .......... .......... .......... .......... .......... 46% 6.85M 0s 1650K .......... .......... .......... .......... .......... 48% 5.88M 0s 1700K .......... .......... .......... .......... .......... 49% 11.1M 0s 1750K .......... .......... .......... .......... .......... 51% 4.48M 0s 1800K .......... .......... .......... .......... .......... 52% 8.06M 0s 1850K .......... .......... .......... .......... .......... 54% 9.52M 0s 1900K .......... .......... .......... .......... .......... 55% 5.66M 0s 1950K .......... .......... .......... .......... .......... 56% 8.32M 0s 2000K .......... .......... .......... .......... .......... 58% 7.18M 0s 2050K .......... .......... .......... .......... .......... 59% 5.65M 0s 2100K .......... .......... .......... .......... .......... 61% 7.29M 0s 2150K .......... .......... .......... .......... .......... 62% 5.28M 0s 2200K .......... .......... .......... .......... .......... 63% 7.21M 0s 2250K .......... .......... .......... .......... .......... 65% 6.97M 0s 2300K .......... .......... .......... .......... .......... 66% 7.11M 0s 2350K .......... .......... .......... .......... .......... 68% 9.49M 0s 2400K .......... .......... .......... .......... .......... 69% 6.55M 0s 2450K .......... .......... .......... .......... .......... 71% 5.55M 0s 2500K .......... .......... .......... .......... .......... 72% 8.63M 0s 2550K .......... .......... .......... .......... .......... 73% 5.22M 0s 2600K .......... .......... .......... .......... .......... 75% 8.03M 0s 2650K .......... .......... .......... .......... .......... 76% 5.39M 0s 2700K .......... .......... .......... .......... .......... 78% 17.1M 0s 2750K .......... .......... .......... .......... .......... 79% 4.51M 0s 2800K .......... .......... .......... .......... .......... 81% 11.1M 0s 2850K .......... .......... .......... .......... .......... 82% 10.2M 0s 2900K .......... .......... .......... .......... .......... 83% 4.59M 0s 2950K .......... .......... .......... .......... .......... 85% 6.42M 0s 3000K .......... .......... .......... .......... .......... 86% 7.02M 0s 3050K .......... .......... .......... .......... .......... 88% 7.55M 0s 3100K .......... .......... .......... .......... .......... 89% 7.43M 0s 3150K .......... .......... .......... .......... .......... 91% 7.36M 0s 3200K .......... .......... .......... .......... .......... 92% 7.44M 0s 3250K .......... .......... .......... .......... .......... 93% 7.58M 0s 3300K .......... .......... .......... .......... .......... 95% 7.44M 0s 3350K .......... .......... .......... .......... .......... 96% 5.59M 0s 3400K .......... .......... .......... .......... .......... 98% 22.6M 0s 3450K .......... .......... .......... .......... .......... 99% 25.7M 0s 3500K .......... ...... 100% 19.1M=0.5s 2010-01-06 16:59:45 (6.78 MB/s) - `./coq-8.2pl1.tar.gz' saved [3600620/3600620]