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'...  antlr-3.3.tar.gz 8.5MiB 0B/s 00:00 [ ] 0.0%  antlr-3.3.tar.gz 8.5MiB 4.5MiB/s 00:00 [ ] 0.7%  antlr-3.3.tar.gz 8.5MiB 3.9MiB/s 00:00 [# ] 10.3%  antlr-3.3.tar.gz 8.5MiB 3.8MiB/s 00:00 [### ] 19.8%  antlr-3.3.tar.gz 8.5MiB 3.4MiB/s 00:01 [#### ] 27.2%  antlr-3.3.tar.gz 8.5MiB 3.0MiB/s 00:01 [##### ] 31.6%  antlr-3.3.tar.gz 8.5MiB 2.7MiB/s 00:01 [###### ] 35.3%  antlr-3.3.tar.gz 8.5MiB 2.4MiB/s 00:01 [###### ] 38.2%  antlr-3.3.tar.gz 8.5MiB 2.1MiB/s 00:02 [####### ] 40.4%  antlr-3.3.tar.gz 8.5MiB 2.0MiB/s 00:02 [####### ] 41.9%  antlr-3.3.tar.gz 8.5MiB 1.7MiB/s 00:02 [####### ] 43.3%  antlr-3.3.tar.gz 8.5MiB 1.6MiB/s 00:02 [######## ] 45.5%  antlr-3.3.tar.gz 8.5MiB 1.5MiB/s 00:03 [######## ] 47.0%  antlr-3.3.tar.gz 8.5MiB 1.4MiB/s 00:03 [######## ] 49.2%  antlr-3.3.tar.gz 8.5MiB 1.6MiB/s 00:03 [########## ] 58.0%  antlr-3.3.tar.gz 8.5MiB 1.7MiB/s 00:03 [############ ] 67.6%  antlr-3.3.tar.gz 8.5MiB 1.8MiB/s 00:04 [############# ] 77.1%  antlr-3.3.tar.gz 8.5MiB 2.0MiB/s 00:04 [############### ] 86.7%  antlr-3.3.tar.gz 8.5MiB 2.0MiB/s 00:04 [################# ] 96.2%  antlr-3.3.tar.gz 8.5MiB 2.1MiB/s 00:04 [##################] 100.0%