Starting download of /gnu/store/izjb3sn84lxqm6cjbvvbfdcqk1w5mi0a-mpfr-4.0.1.tar.xz From https://ftpmirror.gnu.org/gnu/mpfr/mpfr-4.0.1.tar.xz... following redirection to `https://mirrors.tripadvisor.com/gnu/mpfr/mpfr-4.0.1.tar.xz'...  ….1.tar.xz 1.3MiB 0B/s 00:00 [ ] 0.0%  ….1.tar.xz 1.3MiB 546KiB/s 00:00 [ ] 4.6%  ….1.tar.xz 1.3MiB 681KiB/s 00:00 [### ] 18.6%  ….1.tar.xz 1.3MiB 664KiB/s 00:01 [##### ] 27.8%  ….1.tar.xz 1.3MiB 808KiB/s 00:01 [######## ] 46.4%  ….1.tar.xz 1.3MiB 822KiB/s 00:01 [########## ] 60.3%  ….1.tar.xz 1.3MiB 849KiB/s 00:01 [############## ] 78.9%  ….1.tar.xz 1.3MiB 870KiB/s 00:02 [################# ] 97.4%  ….1.tar.xz 1.3MiB 883KiB/s 00:02 [##################] 100.0%