Starting download of /gnu/store/qfnvc6d5sjh40rl209dinm29w5xpm3nr-mpfr-2.4.2.tar.gz From https://ftpmirror.gnu.org/gnu/mpfr/mpfr-2.4.2.tar.gz... following redirection to `https://mirrors.tripadvisor.com/gnu/mpfr/mpfr-2.4.2.tar.gz'...  ….2.tar.gz 1.3MiB 0B/s 00:00 [ ] 0.0%  ….2.tar.gz 1.3MiB 167KiB/s 00:00 [ ] 4.6%  ….2.tar.gz 1.3MiB 162KiB/s 00:01 [# ] 9.3%  ….2.tar.gz 1.3MiB 158KiB/s 00:01 [## ] 13.9%  ….2.tar.gz 1.3MiB 158KiB/s 00:02 [### ] 18.6%  ….2.tar.gz 1.3MiB 161KiB/s 00:02 [#### ] 23.2%  ….2.tar.gz 1.3MiB 170KiB/s 00:02 [##### ] 27.8%  ….2.tar.gz 1.3MiB 172KiB/s 00:03 [##### ] 32.5%  ….2.tar.gz 1.3MiB 182KiB/s 00:03 [###### ] 37.1%  ….2.tar.gz 1.3MiB 186KiB/s 00:03 [####### ] 41.8%  ….2.tar.gz 1.3MiB 185KiB/s 00:03 [######## ] 46.4%  ….2.tar.gz 1.3MiB 189KiB/s 00:04 [######### ] 51.1%  ….2.tar.gz 1.3MiB 192KiB/s 00:04 [########## ] 55.7%  ….2.tar.gz 1.3MiB 195KiB/s 00:04 [########## ] 60.3%  ….2.tar.gz 1.3MiB 198KiB/s 00:05 [########### ] 65.0%  ….2.tar.gz 1.3MiB 203KiB/s 00:05 [############ ] 69.6%  ….2.tar.gz 1.3MiB 205KiB/s 00:05 [############# ] 74.3%  ….2.tar.gz 1.3MiB 208KiB/s 00:05 [############## ] 78.9%  ….2.tar.gz 1.3MiB 212KiB/s 00:05 [############### ] 83.5%  ….2.tar.gz 1.3MiB 219KiB/s 00:06 [################ ] 92.8%  ….2.tar.gz 1.3MiB 226KiB/s 00:06 [##################] 100.0%  ….2.tar.gz 1.3MiB 226KiB/s 00:06 [##################] 100.0%