Starting download of /gnu/store/m9klj9lj8pl4mzlm3z1g7vkz27va78fb-gawk-4.2.1.tar.xz From https://ftpmirror.gnu.org/gnu/gawk/gawk-4.2.1.tar.xz... following redirection to `https://ftp.igh.cnrs.fr/pub/gnu/gawk/gawk-4.2.1.tar.xz'...  ….1.tar.xz 2.8MiB 0B/s 00:00 [ ] 0.0%  ….1.tar.xz 2.8MiB 7.7MiB/s 00:00 [ ] 2.2%  ….1.tar.xz 2.8MiB 3.2MiB/s 00:00 [###### ] 37.3%  ….1.tar.xz 2.8MiB 3.1MiB/s 00:01 [############ ] 68.1%  ….1.tar.xz 2.8MiB 2.3MiB/s 00:01 [############ ] 70.2%  ….1.tar.xz 2.8MiB 1.8MiB/s 00:01 [############# ] 72.4%  ….1.tar.xz 2.8MiB 1.3MiB/s 00:02 [############# ] 74.6%  ….1.tar.xz 2.8MiB 1.7MiB/s 00:02 [##################] 100.0%