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 2.2MiB/s 00:00 [ ] 0.7%  antlr-3.3.tar.gz 8.5MiB 1.4MiB/s 00:00 [ ] 4.4%  antlr-3.3.tar.gz 8.5MiB 1.7MiB/s 00:00 [# ] 9.5%  antlr-3.3.tar.gz 8.5MiB 2.3MiB/s 00:01 [### ] 18.4%  antlr-3.3.tar.gz 8.5MiB 2.2MiB/s 00:01 [#### ] 23.5%  antlr-3.3.tar.gz 8.5MiB 2.3MiB/s 00:01 [##### ] 29.4%  antlr-3.3.tar.gz 8.5MiB 2.2MiB/s 00:01 [###### ] 35.3%  antlr-3.3.tar.gz 8.5MiB 2.3MiB/s 00:02 [####### ] 43.3%  antlr-3.3.tar.gz 8.5MiB 2.4MiB/s 00:02 [######## ] 49.9%  antlr-3.3.tar.gz 8.5MiB 2.4MiB/s 00:02 [########## ] 56.6%  antlr-3.3.tar.gz 8.5MiB 2.4MiB/s 00:02 [########### ] 63.2%  antlr-3.3.tar.gz 8.5MiB 2.5MiB/s 00:02 [############ ] 70.5%  antlr-3.3.tar.gz 8.5MiB 2.5MiB/s 00:03 [############## ] 77.9%  antlr-3.3.tar.gz 8.5MiB 2.5MiB/s 00:03 [############### ] 85.2%  antlr-3.3.tar.gz 8.5MiB 2.6MiB/s 00:03 [################ ] 92.5%  antlr-3.3.tar.gz 8.5MiB 2.6MiB/s 00:03 [################# ] 99.9%  antlr-3.3.tar.gz 8.5MiB 2.6MiB/s 00:03 [##################] 100.0%