
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             4.6MiB/s 00:00 [                  ]   0.9%[K antlr-3.1.tar.gz  6.8MiB             3.9MiB/s 00:00 [##                ]  12.9%[K antlr-3.1.tar.gz  6.8MiB             3.9MiB/s 00:00 [####              ]  24.9%[K antlr-3.1.tar.gz  6.8MiB             3.9MiB/s 00:01 [######            ]  36.8%[K antlr-3.1.tar.gz  6.8MiB             3.9MiB/s 00:01 [########          ]  48.8%[K antlr-3.1.tar.gz  6.8MiB             3.9MiB/s 00:01 [##########        ]  60.8%[K antlr-3.1.tar.gz  6.8MiB             3.7MiB/s 00:01 [############      ]  69.1%[K antlr-3.1.tar.gz  6.8MiB             3.9MiB/s 00:01 [###############   ]  84.7%[K antlr-3.1.tar.gz  6.8MiB             3.9MiB/s 00:02 [################# ]  96.7%[K antlr-3.1.tar.gz  6.8MiB             3.9MiB/s 00:02 [##################] 100.0%