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.kernel.org/gnu/mpfr/mpfr-4.0.1.tar.xz'...  ….1.tar.xz 1.3MiB 0B/s 00:00 [ ] 0.0%  ….1.tar.xz 1.3MiB 203KiB/s 00:00 [ ] 4.6%  ….1.tar.xz 1.3MiB 421KiB/s 00:01 [### ] 18.6%  ….1.tar.xz 1.3MiB 871KiB/s 00:01 [######### ] 51.0%  ….1.tar.xz 1.3MiB 1.3MiB/s 00:01 [##################] 100.0%