
Starting download of /gnu/store/ahs9zc0b0jcawg3bp9nl4q2s5lpndj2k-antlr-3.3.tar.gz
From https://github.com/antlr/website-antlr3/raw/gh-pages/download/antlr-3.3.tar.gz...
following redirection to `https://raw.githubusercontent.com/antlr/website-antlr3/gh-pages/download/antlr-3.3.tar.gz'...
[K antlr-3.3.tar.gz  8.5MiB                 0B/s 00:00 [                  ]   0.0%[K antlr-3.3.tar.gz  8.5MiB             4.5MiB/s 00:00 [                  ]   0.7%[K antlr-3.3.tar.gz  8.5MiB             3.9MiB/s 00:00 [#                 ]  10.3%[K antlr-3.3.tar.gz  8.5MiB             3.8MiB/s 00:00 [###               ]  19.8%[K antlr-3.3.tar.gz  8.5MiB             3.4MiB/s 00:01 [####              ]  27.2%[K antlr-3.3.tar.gz  8.5MiB             3.0MiB/s 00:01 [#####             ]  31.6%[K antlr-3.3.tar.gz  8.5MiB             2.7MiB/s 00:01 [######            ]  35.3%[K antlr-3.3.tar.gz  8.5MiB             2.4MiB/s 00:01 [######            ]  38.2%[K antlr-3.3.tar.gz  8.5MiB             2.1MiB/s 00:02 [#######           ]  40.4%[K antlr-3.3.tar.gz  8.5MiB             2.0MiB/s 00:02 [#######           ]  41.9%[K antlr-3.3.tar.gz  8.5MiB             1.7MiB/s 00:02 [#######           ]  43.3%[K antlr-3.3.tar.gz  8.5MiB             1.6MiB/s 00:02 [########          ]  45.5%[K antlr-3.3.tar.gz  8.5MiB             1.5MiB/s 00:03 [########          ]  47.0%[K antlr-3.3.tar.gz  8.5MiB             1.4MiB/s 00:03 [########          ]  49.2%[K antlr-3.3.tar.gz  8.5MiB             1.6MiB/s 00:03 [##########        ]  58.0%[K antlr-3.3.tar.gz  8.5MiB             1.7MiB/s 00:03 [############      ]  67.6%[K antlr-3.3.tar.gz  8.5MiB             1.8MiB/s 00:04 [#############     ]  77.1%[K antlr-3.3.tar.gz  8.5MiB             2.0MiB/s 00:04 [###############   ]  86.7%[K antlr-3.3.tar.gz  8.5MiB             2.0MiB/s 00:04 [################# ]  96.2%[K antlr-3.3.tar.gz  8.5MiB             2.1MiB/s 00:04 [##################] 100.0%