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'...  antlr-3.1.tar.gz 6.8MiB 0B/s 00:00 [ ] 0.0%  antlr-3.1.tar.gz 6.8MiB 504KiB/s 00:00 [ ] 0.9%  antlr-3.1.tar.gz 6.8MiB 584KiB/s 00:00 [ ] 2.8%  antlr-3.1.tar.gz 6.8MiB 590KiB/s 00:01 [ ] 4.6%  antlr-3.1.tar.gz 6.8MiB 611KiB/s 00:01 [# ] 7.4%  antlr-3.1.tar.gz 6.8MiB 663KiB/s 00:01 [# ] 10.1%  antlr-3.1.tar.gz 6.8MiB 703KiB/s 00:01 [## ] 12.9%  antlr-3.1.tar.gz 6.8MiB 1.1MiB/s 00:01 [#### ] 23.0%  antlr-3.1.tar.gz 6.8MiB 1.3MiB/s 00:02 [##### ] 33.2%  antlr-3.1.tar.gz 6.8MiB 1.5MiB/s 00:02 [####### ] 42.4%  antlr-3.1.tar.gz 6.8MiB 1.6MiB/s 00:02 [######## ] 49.7%  antlr-3.1.tar.gz 6.8MiB 1.7MiB/s 00:02 [########## ] 57.1%  antlr-3.1.tar.gz 6.8MiB 1.6MiB/s 00:03 [########### ] 61.7%  antlr-3.1.tar.gz 6.8MiB 1.6MiB/s 00:03 [########### ] 64.5%  antlr-3.1.tar.gz 6.8MiB 1.6MiB/s 00:03 [############ ] 68.2%  antlr-3.1.tar.gz 6.8MiB 1.5MiB/s 00:03 [############# ] 72.8%  antlr-3.1.tar.gz 6.8MiB 1.5MiB/s 00:03 [############# ] 77.4%  antlr-3.1.tar.gz 6.8MiB 1.5MiB/s 00:04 [############## ] 82.0%  antlr-3.1.tar.gz 6.8MiB 1.5MiB/s 00:04 [############### ] 86.6%  antlr-3.1.tar.gz 6.8MiB 1.5MiB/s 00:04 [################ ] 91.2%  antlr-3.1.tar.gz 6.8MiB 1.5MiB/s 00:04 [################# ] 95.8%  antlr-3.1.tar.gz 6.8MiB 1.5MiB/s 00:05 [##################] 100.0%