Starting download of /gnu/store/7chlpn87nsb21wnc2dpr78frwn6f94pk-antlr-2.7.7.tar.gz From https://www.antlr2.org/download/antlr-2.7.7.tar.gz...  ….7.tar.gz 1.7MiB 0B/s 00:00 [ ] 0.0%  ….7.tar.gz 1.7MiB 1.8MiB/s 00:00 [ ] 3.6%  ….7.tar.gz 1.7MiB 1.4MiB/s 00:00 [### ] 21.7%  ….7.tar.gz 1.7MiB 1.6MiB/s 00:00 [####### ] 43.3%  ….7.tar.gz 1.7MiB 1.9MiB/s 00:01 [############# ] 75.8%  ….7.tar.gz 1.7MiB 2.0MiB/s 00:01 [##################] 100.0%