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%