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 667KiB/s 00:00 [ ] 4.6%  ….2.tar.gz 1.3MiB 1.0MiB/s 00:00 [#### ] 23.2%  ….2.tar.gz 1.3MiB 1.3MiB/s 00:01 [########## ] 60.3%  ….2.tar.gz 1.3MiB 1.9MiB/s 00:01 [##################] 100.0%