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 5.5MiB/s 00:00 [ ] 0.7%  antlr-3.3.tar.gz 8.5MiB 3.8MiB/s 00:00 [# ] 9.5%  antlr-3.3.tar.gz 8.5MiB 3.8MiB/s 00:00 [### ] 19.1%  antlr-3.3.tar.gz 8.5MiB 3.8MiB/s 00:01 [##### ] 28.6%  antlr-3.3.tar.gz 8.5MiB 3.8MiB/s 00:01 [###### ] 38.2%  antlr-3.3.tar.gz 8.5MiB 3.8MiB/s 00:01 [######## ] 47.7%  antlr-3.3.tar.gz 8.5MiB 3.6MiB/s 00:01 [######### ] 54.3%  antlr-3.3.tar.gz 8.5MiB 3.7MiB/s 00:01 [########### ] 64.6%  antlr-3.3.tar.gz 8.5MiB 3.6MiB/s 00:02 [############# ] 72.7%  antlr-3.3.tar.gz 8.5MiB 3.6MiB/s 00:02 [############## ] 80.8%  antlr-3.3.tar.gz 8.5MiB 3.5MiB/s 00:02 [############### ] 88.1%  antlr-3.3.tar.gz 8.5MiB 3.5MiB/s 00:02 [################# ] 95.5%  antlr-3.3.tar.gz 8.5MiB 3.5MiB/s 00:02 [##################] 100.0%