
Starting download of /gnu/store/lkzc93drvziyin5kbasr8fl0gzspm2dq-antlr-3.1.tar.gz
From https://github.com/antlr/website-antlr3/raw/gh-pages/download/antlr-3.1.tar.gz...
following redirection to `https://raw.githubusercontent.com/antlr/website-antlr3/gh-pages/download/antlr-3.1.tar.gz'...
[K antlr-3.1.tar.gz  6.8MiB                 0B/s 00:00 [                  ]   0.0%[K antlr-3.1.tar.gz  6.8MiB             1.9MiB/s 00:00 [                  ]   0.9%[K antlr-3.1.tar.gz  6.8MiB             1.8MiB/s 00:00 [#                 ]   6.4%[K antlr-3.1.tar.gz  6.8MiB             1.9MiB/s 00:00 [##                ]  12.9%[K antlr-3.1.tar.gz  6.8MiB             2.2MiB/s 00:01 [###               ]  22.1%[K antlr-3.1.tar.gz  6.8MiB             2.4MiB/s 00:01 [#####             ]  31.3%[K antlr-3.1.tar.gz  6.8MiB             2.6MiB/s 00:01 [#######           ]  41.5%[K antlr-3.1.tar.gz  6.8MiB             2.7MiB/s 00:01 [#########         ]  51.6%[K antlr-3.1.tar.gz  6.8MiB             2.8MiB/s 00:02 [###########       ]  62.6%[K antlr-3.1.tar.gz  6.8MiB             2.9MiB/s 00:02 [#############     ]  73.7%[K antlr-3.1.tar.gz  6.8MiB             3.0MiB/s 00:02 [###############   ]  85.7%[K antlr-3.1.tar.gz  6.8MiB             3.0MiB/s 00:02 [################# ]  95.8%[K antlr-3.1.tar.gz  6.8MiB             3.0MiB/s 00:02 [##################] 100.0%