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://mirror.ibcp.fr/pub/gnu/mpfr/mpfr-4.0.1.tar.xz'...  ….1.tar.xz 1.3MiB 0B/s 00:00 [ ] 0.0%  ….1.tar.xz 1.3MiB 3.2MiB/s 00:00 [ ] 4.6%  ….1.tar.xz 1.3MiB 8.2MiB/s 00:00 [##################] 100.0%