
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             5.5MiB/s 00:00 [                  ]   0.7%[K antlr-3.3.tar.gz  8.5MiB             3.8MiB/s 00:00 [#                 ]   9.5%[K antlr-3.3.tar.gz  8.5MiB             3.8MiB/s 00:00 [###               ]  19.1%[K antlr-3.3.tar.gz  8.5MiB             3.8MiB/s 00:01 [#####             ]  28.6%[K antlr-3.3.tar.gz  8.5MiB             3.8MiB/s 00:01 [######            ]  38.2%[K antlr-3.3.tar.gz  8.5MiB             3.8MiB/s 00:01 [########          ]  47.7%[K antlr-3.3.tar.gz  8.5MiB             3.6MiB/s 00:01 [#########         ]  54.3%[K antlr-3.3.tar.gz  8.5MiB             3.7MiB/s 00:01 [###########       ]  64.6%[K antlr-3.3.tar.gz  8.5MiB             3.6MiB/s 00:02 [#############     ]  72.7%[K antlr-3.3.tar.gz  8.5MiB             3.6MiB/s 00:02 [##############    ]  80.8%[K antlr-3.3.tar.gz  8.5MiB             3.5MiB/s 00:02 [###############   ]  88.1%[K antlr-3.3.tar.gz  8.5MiB             3.5MiB/s 00:02 [################# ]  95.5%[K antlr-3.3.tar.gz  8.5MiB             3.5MiB/s 00:02 [##################] 100.0%