
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          +nan.0TiB/s 00:00 [                  ]   0.0%[K antlr-3.3.tar.gz  8.5MiB             376KiB/s 00:00 [                  ]   0.7%[K antlr-3.3.tar.gz  8.5MiB             1.7MiB/s 00:00 [#                 ]   7.3%[K antlr-3.3.tar.gz  8.5MiB             2.0MiB/s 00:01 [##                ]  14.0%[K antlr-3.3.tar.gz  8.5MiB             2.1MiB/s 00:01 [###               ]  19.1%[K antlr-3.3.tar.gz  8.5MiB             2.3MiB/s 00:01 [####              ]  26.4%[K antlr-3.3.tar.gz  8.5MiB             2.3MiB/s 00:01 [#####             ]  33.0%[K antlr-3.3.tar.gz  8.5MiB             1.0MiB/s 00:03 [######            ]  33.8%[K antlr-3.3.tar.gz  8.5MiB             1.3MiB/s 00:03 [########          ]  45.5%[K antlr-3.3.tar.gz  8.5MiB             883KiB/s 00:05 [########          ]  47.7%[K antlr-3.3.tar.gz  8.5MiB             1.4MiB/s 00:05 [##############    ]  79.3%[K antlr-3.3.tar.gz  8.5MiB             1.4MiB/s 00:05 [###############   ]  85.9%[K antlr-3.3.tar.gz  8.5MiB             1.5MiB/s 00:05 [################  ]  93.3%[K antlr-3.3.tar.gz  8.5MiB             1.5MiB/s 00:06 [##################] 100.0%[K antlr-3.3.tar.gz  8.5MiB             1.5MiB/s 00:06 [##################] 100.0%