--2013-09-29 15:47:51-- http://coq.inria.fr/V8.4pl2/files/coq-8.4pl2.tar.gz Resolving coq.inria.fr... 193.55.176.29 Connecting to coq.inria.fr|193.55.176.29|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 4145112 (4.0M) [application/x-gzip] Saving to: `./coq-8.4pl2.tar.gz' 0K .......... .......... .......... .......... .......... 1% 135K 30s 50K .......... .......... .......... .......... .......... 2% 139K 29s 100K .......... .......... .......... .......... .......... 3% 268K 24s 150K .......... .......... .......... .......... .......... 4% 144K 24s 200K .......... .......... .......... .......... .......... 6% 276K 22s 250K .......... .......... .......... .......... .......... 7% 279K 20s 300K .......... .......... .......... .......... .......... 8% 3.85M 17s 350K .......... .......... .......... .......... .......... 9% 288K 17s 400K .......... .......... .......... .......... .......... 11% 290K 16s 450K .......... .......... .......... .......... .......... 12% 2.85M 14s 500K .......... .......... .......... .......... .......... 13% 301K 14s 550K .......... .......... .......... .......... .......... 14% 3.63M 13s 600K .......... .......... .......... .......... .......... 16% 294K 12s 650K .......... .......... .......... .......... .......... 17% 4.12M 11s 700K .......... .......... .......... .......... .......... 18% 415K 11s 750K .......... .......... .......... .......... .......... 19% 912K 10s 800K .......... .......... .......... .......... .......... 20% 4.25M 10s 850K .......... .......... .......... .......... .......... 22% 411K 9s 900K .......... .......... .......... .......... .......... 23% 966K 9s 950K .......... .......... .......... .......... .......... 24% 4.21M 8s 1000K .......... .......... .......... .......... .......... 25% 428K 8s 1050K .......... .......... .......... .......... .......... 27% 1000K 8s 1100K .......... .......... .......... .......... .......... 28% 3.84M 7s 1150K .......... .......... .......... .......... .......... 29% 452K 7s 1200K .......... .......... .......... .......... .......... 30% 982K 7s 1250K .......... .......... .......... .......... .......... 32% 4.07M 7s 1300K .......... .......... .......... .......... .......... 33% 4.13M 6s 1350K .......... .......... .......... .......... .......... 34% 462K 6s 1400K .......... .......... .......... .......... .......... 35% 968K 6s 1450K .......... .......... .......... .......... .......... 37% 4.20M 6s 1500K .......... .......... .......... .......... .......... 38% 4.15M 5s 1550K .......... .......... .......... .......... .......... 39% 460K 5s 1600K .......... .......... .......... .......... .......... 40% 1014K 5s 1650K .......... .......... .......... .......... .......... 41% 3.70M 5s 1700K .......... .......... .......... .......... .......... 43% 4.51M 5s 1750K .......... .......... .......... .......... .......... 44% 4.29M 4s 1800K .......... .......... .......... .......... .......... 45% 482K 4s 1850K .......... .......... .......... .......... .......... 46% 1.13M 4s 1900K .......... .......... .......... .......... .......... 48% 3.87M 4s 1950K .......... .......... .......... .......... .......... 49% 4.43M 4s 2000K .......... .......... .......... .......... .......... 50% 3.80M 4s 2050K .......... .......... .......... .......... .......... 51% 494K 3s 2100K .......... .......... .......... .......... .......... 53% 1.09M 3s 2150K .......... .......... .......... .......... .......... 54% 4.91M 3s 2200K .......... .......... .......... .......... .......... 55% 3.94M 3s 2250K .......... .......... .......... .......... .......... 56% 4.05M 3s 2300K .......... .......... .......... .......... .......... 58% 1.16M 3s 2350K .......... .......... .......... .......... .......... 59% 728K 3s 2400K .......... .......... .......... .......... .......... 60% 1.32M 3s 2450K .......... .......... .......... .......... .......... 61% 4.10M 2s 2500K .......... .......... .......... .......... .......... 62% 4.04M 2s 2550K .......... .......... .......... .......... .......... 64% 4.07M 2s 2600K .......... .......... .......... .......... .......... 65% 1.28M 2s 2650K .......... .......... .......... .......... .......... 66% 757K 2s 2700K .......... .......... .......... .......... .......... 67% 1.29M 2s 2750K .......... .......... .......... .......... .......... 69% 4.27M 2s 2800K .......... .......... .......... .......... .......... 70% 4.32M 2s 2850K .......... .......... .......... .......... .......... 71% 4.06M 2s 2900K .......... .......... .......... .......... .......... 72% 4.20M 2s 2950K .......... .......... .......... .......... .......... 74% 570K 2s 3000K .......... .......... .......... .......... .......... 75% 3.20M 1s 3050K .......... .......... .......... .......... .......... 76% 819K 1s 3100K .......... .......... .......... .......... .......... 77% 3.94M 1s 3150K .......... .......... .......... .......... .......... 79% 4.70M 1s 3200K .......... .......... .......... .......... .......... 80% 3.86M 1s 3250K .......... .......... .......... .......... .......... 81% 4.09M 1s 3300K .......... .......... .......... .......... .......... 82% 3.91M 1s 3350K .......... .......... .......... .......... .......... 83% 978K 1s 3400K .......... .......... .......... .......... .......... 85% 2.54M 1s 3450K .......... .......... .......... .......... .......... 86% 860K 1s 3500K .......... .......... .......... .......... .......... 87% 3.83M 1s 3550K .......... .......... .......... .......... .......... 88% 4.47M 1s 3600K .......... .......... .......... .......... .......... 90% 4.18M 1s 3650K .......... .......... .......... .......... .......... 91% 4.16M 0s 3700K .......... .......... .......... .......... .......... 92% 1017K 0s 3750K .......... .......... .......... .......... .......... 93% 4.14M 0s 3800K .......... .......... .......... .......... .......... 95% 2.75M 0s 3850K .......... .......... .......... .......... .......... 96% 909K 0s 3900K .......... .......... .......... .......... .......... 97% 3.84M 0s 3950K .......... .......... .......... .......... .......... 98% 3.47M 0s 4000K .......... .......... .......... .......... ....... 100% 3.72M=4.8s 2013-09-29 15:47:57 (846 KB/s) - `./coq-8.4pl2.tar.gz' saved [4145112/4145112]