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 5.0MiB/s 00:00 [ ] 0.9%  antlr-3.1.tar.gz 6.8MiB 24.4MiB/s 00:00 [############# ] 77.4%  antlr-3.1.tar.gz 6.8MiB 27.0MiB/s 00:00 [##################] 100.0%