Starting download of /gnu/store/kdylsm1ihfz9wpakjr6fndm2spy5m80q-Pygments-2.5.2.tar.gz From https://files.pythonhosted.org/packages/source/P/Pygments/Pygments-2.5.2.tar.gz... following redirection to `https://files.pythonhosted.org/packages/cb/9f/27d4844ac5bf158a33900dbad7985951e2910397998e85712da03ce125f0/Pygments-2.5.2.tar.gz'...  ….5.2.tar.gz 19.3MiB 0B/s 00:00 [ ] 0.0%  ….5.2.tar.gz 19.3MiB 39.5MiB/s 00:00 [ ] 0.3%  ….5.2.tar.gz 19.3MiB 70.4MiB/s 00:00 [############# ] 73.4%  ….5.2.tar.gz 19.3MiB 72.8MiB/s 00:00 [##################] 100.0%