Starting download of /gnu/store/ydf01bhrgfcg23f1234y726bmmyb31n0-Pygments-2.12.0.tar.gz From https://files.pythonhosted.org/packages/source/P/Pygments/Pygments-2.12.0.tar.gz... following redirection to `https://files.pythonhosted.org/packages/59/0f/eb10576eb73b5857bc22610cdfc59e424ced4004fe7132c8f2af2cc168d3/Pygments-2.12.0.tar.gz'...  …12.0.tar.gz 4.1MiB 0B/s 00:00 [ ] 0.0%  …12.0.tar.gz 4.1MiB 143KiB/s 00:00 [ ] 1.5%  …12.0.tar.gz 4.1MiB 110KiB/s 00:01 [ ] 3.1%  …12.0.tar.gz 4.1MiB 186KiB/s 00:02 [# ] 7.7%  …12.0.tar.gz 4.1MiB 182KiB/s 00:02 [# ] 9.2%  …12.0.tar.gz 4.1MiB 180KiB/s 00:02 [# ] 10.7%  …12.0.tar.gz 4.1MiB 168KiB/s 00:03 [## ] 12.2%  …12.0.tar.gz 4.1MiB 184KiB/s 00:03 [## ] 15.3%  …12.0.tar.gz 4.1MiB 185KiB/s 00:04 [### ] 16.8%  …12.0.tar.gz 4.1MiB 186KiB/s 00:04 [### ] 18.4%  …12.0.tar.gz 4.1MiB 188KiB/s 00:04 [### ] 19.9%  …12.0.tar.gz 4.1MiB 193KiB/s 00:05 [### ] 21.4%  …12.0.tar.gz 4.1MiB 198KiB/s 00:05 [#### ] 23.0%  …12.0.tar.gz 4.1MiB 207KiB/s 00:05 [#### ] 26.0%  …12.0.tar.gz 4.1MiB 215KiB/s 00:06 [##### ] 29.1%  …12.0.tar.gz 4.1MiB 218KiB/s 00:06 [##### ] 30.6%  …12.0.tar.gz 4.1MiB 221KiB/s 00:06 [##### ] 32.1%  …12.0.tar.gz 4.1MiB 224KiB/s 00:06 [###### ] 33.7%  …12.0.tar.gz 4.1MiB 226KiB/s 00:07 [###### ] 35.2%  …12.0.tar.gz 4.1MiB 228KiB/s 00:07 [###### ] 36.7%  …12.0.tar.gz 4.1MiB 230KiB/s 00:07 [###### ] 38.3%  …12.0.tar.gz 4.1MiB 232KiB/s 00:07 [####### ] 39.8%  …12.0.tar.gz 4.1MiB 234KiB/s 00:07 [####### ] 41.3%  …12.0.tar.gz 4.1MiB 236KiB/s 00:08 [####### ] 42.9%  …12.0.tar.gz 4.1MiB 237KiB/s 00:08 [####### ] 44.4%  …12.0.tar.gz 4.1MiB 241KiB/s 00:08 [######## ] 47.4%  …12.0.tar.gz 4.1MiB 243KiB/s 00:08 [######## ] 49.0%  …12.0.tar.gz 4.1MiB 247KiB/s 00:09 [######### ] 52.0%  …12.0.tar.gz 4.1MiB 251KiB/s 00:09 [######### ] 55.1%  …12.0.tar.gz 4.1MiB 255KiB/s 00:10 [########## ] 58.2%  …12.0.tar.gz 4.1MiB 260KiB/s 00:10 [########### ] 61.2%  …12.0.tar.gz 4.1MiB 265KiB/s 00:10 [########### ] 64.3%  …12.0.tar.gz 4.1MiB 270KiB/s 00:10 [############ ] 67.3%  …12.0.tar.gz 4.1MiB 275KiB/s 00:11 [############ ] 70.4%  …12.0.tar.gz 4.1MiB 281KiB/s 00:11 [############# ] 73.5%  …12.0.tar.gz 4.1MiB 286KiB/s 00:11 [############# ] 76.5%  …12.0.tar.gz 4.1MiB 292KiB/s 00:11 [############## ] 79.6%  …12.0.tar.gz 4.1MiB 297KiB/s 00:12 [############## ] 82.6%  …12.0.tar.gz 4.1MiB 303KiB/s 00:12 [############### ] 85.7%  …12.0.tar.gz 4.1MiB 311KiB/s 00:12 [################ ] 90.3%  …12.0.tar.gz 4.1MiB 320KiB/s 00:12 [################# ] 94.9%  …12.0.tar.gz 4.1MiB 330KiB/s 00:13 [################# ] 99.5%  …12.0.tar.gz 4.1MiB 331KiB/s 00:13 [##################] 100.0%