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 7.9MiB/s 00:00 [ ] 0.7%  antlr-3.3.tar.gz 8.5MiB 36.5MiB/s 00:00 [################ ] 89.6%  antlr-3.3.tar.gz 8.5MiB 38.2MiB/s 00:00 [##################] 100.0%