
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             2.2MiB/s 00:00 [                  ]   0.7%[K antlr-3.3.tar.gz  8.5MiB             1.4MiB/s 00:00 [                  ]   4.4%[K antlr-3.3.tar.gz  8.5MiB             1.7MiB/s 00:00 [#                 ]   9.5%[K antlr-3.3.tar.gz  8.5MiB             2.3MiB/s 00:01 [###               ]  18.4%[K antlr-3.3.tar.gz  8.5MiB             2.2MiB/s 00:01 [####              ]  23.5%[K antlr-3.3.tar.gz  8.5MiB             2.3MiB/s 00:01 [#####             ]  29.4%[K antlr-3.3.tar.gz  8.5MiB             2.2MiB/s 00:01 [######            ]  35.3%[K antlr-3.3.tar.gz  8.5MiB             2.3MiB/s 00:02 [#######           ]  43.3%[K antlr-3.3.tar.gz  8.5MiB             2.4MiB/s 00:02 [########          ]  49.9%[K antlr-3.3.tar.gz  8.5MiB             2.4MiB/s 00:02 [##########        ]  56.6%[K antlr-3.3.tar.gz  8.5MiB             2.4MiB/s 00:02 [###########       ]  63.2%[K antlr-3.3.tar.gz  8.5MiB             2.5MiB/s 00:02 [############      ]  70.5%[K antlr-3.3.tar.gz  8.5MiB             2.5MiB/s 00:03 [##############    ]  77.9%[K antlr-3.3.tar.gz  8.5MiB             2.5MiB/s 00:03 [###############   ]  85.2%[K antlr-3.3.tar.gz  8.5MiB             2.6MiB/s 00:03 [################  ]  92.5%[K antlr-3.3.tar.gz  8.5MiB             2.6MiB/s 00:03 [################# ]  99.9%[K antlr-3.3.tar.gz  8.5MiB             2.6MiB/s 00:03 [##################] 100.0%