Starting download of /gnu/store/16v21fs3w3i57n7nz5y6gc3j8iza1555-gmp-4.3.2.tar.gz From https://ftpmirror.gnu.org/gnu/gmp/gmp-4.3.2.tar.gz... following redirection to `https://mirrors.kernel.org/gnu/gmp/gmp-4.3.2.tar.gz'...  …2.tar.gz 2.4MiB 0B/s 00:00 [ ] 0.0%  …2.tar.gz 2.4MiB 54KiB/s 00:01 [ ] 2.6%  …2.tar.gz 2.4MiB 60KiB/s 00:02 [ ] 5.2%  …2.tar.gz 2.4MiB 69KiB/s 00:03 [# ] 7.9%  …2.tar.gz 2.4MiB 76KiB/s 00:03 [# ] 10.5%  …2.tar.gz 2.4MiB 80KiB/s 00:04 [## ] 13.1%  …2.tar.gz 2.4MiB 79KiB/s 00:05 [## ] 15.7%  …2.tar.gz 2.4MiB 78KiB/s 00:06 [### ] 18.4%  …2.tar.gz 2.4MiB 78KiB/s 00:07 [### ] 21.0%  …2.tar.gz 2.4MiB 78KiB/s 00:07 [#### ] 23.6%  …2.tar.gz 2.4MiB 78KiB/s 00:08 [#### ] 26.2%  …2.tar.gz 2.4MiB 79KiB/s 00:09 [##### ] 28.9%  …2.tar.gz 2.4MiB 78KiB/s 00:10 [##### ] 31.5%  …2.tar.gz 2.4MiB 73KiB/s 00:11 [###### ] 34.1%  …2.tar.gz 2.4MiB 70KiB/s 00:13 [###### ] 36.7%  …2.tar.gz 2.4MiB 67KiB/s 00:14 [####### ] 39.4%  …2.tar.gz 2.4MiB 69KiB/s 00:15 [####### ] 42.0%  …2.tar.gz 2.4MiB 69KiB/s 00:16 [######## ] 44.6%  …2.tar.gz 2.4MiB 70KiB/s 00:17 [######## ] 47.2%  …2.tar.gz 2.4MiB 69KiB/s 00:18 [######## ] 49.9%  …2.tar.gz 2.4MiB 70KiB/s 00:18 [######### ] 52.5%  …2.tar.gz 2.4MiB 71KiB/s 00:19 [######### ] 55.1%  …2.tar.gz 2.4MiB 72KiB/s 00:20 [########## ] 57.7%  …2.tar.gz 2.4MiB 72KiB/s 00:20 [########## ] 60.3%  …2.tar.gz 2.4MiB 73KiB/s 00:21 [########### ] 63.0%  …2.tar.gz 2.4MiB 73KiB/s 00:22 [########### ] 65.6%  …2.tar.gz 2.4MiB 74KiB/s 00:22 [############ ] 68.2%  …2.tar.gz 2.4MiB 75KiB/s 00:23 [############ ] 70.8%  …2.tar.gz 2.4MiB 76KiB/s 00:24 [############# ] 73.5%  …2.tar.gz 2.4MiB 75KiB/s 00:25 [############# ] 76.1%  …2.tar.gz 2.4MiB 75KiB/s 00:26 [############## ] 78.7%  …2.tar.gz 2.4MiB 75KiB/s 00:26 [############## ] 81.3%  …2.tar.gz 2.4MiB 75KiB/s 00:27 [############### ] 84.0%  …2.tar.gz 2.4MiB 76KiB/s 00:28 [############### ] 86.6%  …2.tar.gz 2.4MiB 76KiB/s 00:28 [################ ] 89.2%  …2.tar.gz 2.4MiB 77KiB/s 00:29 [################ ] 91.8%  …2.tar.gz 2.4MiB 77KiB/s 00:30 [################# ] 94.5%  …2.tar.gz 2.4MiB 78KiB/s 00:30 [################# ] 97.1%  …2.tar.gz 2.4MiB 78KiB/s 00:31 [################# ] 99.7%  …2.tar.gz 2.4MiB 79KiB/s 00:31 [##################] 100.0%