Starting download of /gnu/store/5y8f4hd93n6nmvirczprwfxklwkcnzr3-libidn2-2.3.1.tar.gz From https://ftpmirror.gnu.org/gnu/libidn/libidn2-2.3.1.tar.gz... In procedure getaddrinfo: Name or service not known Starting download of /gnu/store/5y8f4hd93n6nmvirczprwfxklwkcnzr3-libidn2-2.3.1.tar.gz From ftp://ftp.cs.tu-berlin.de/pub/gnu/libidn/libidn2-2.3.1.tar.gz... In procedure getaddrinfo: Name or service not known Starting download of /gnu/store/5y8f4hd93n6nmvirczprwfxklwkcnzr3-libidn2-2.3.1.tar.gz From ftp://ftp.funet.fi/pub/mirrors/ftp.gnu.org/gnu/libidn/libidn2-2.3.1.tar.gz...  libidn2-2.3.1.tar.gz 2.1MiB +nan.0TiB/s 00:00 [ ] 0.0%  libidn2-2.3.1.tar.gz 2.1MiB 356KiB/s 00:00 [ ] 3.0%  libidn2-2.3.1.tar.gz 2.1MiB 94KiB/s 00:01 [# ] 6.0%  libidn2-2.3.1.tar.gz 2.1MiB 197KiB/s 00:03 [#### ] 27.0%  libidn2-2.3.1.tar.gz 2.1MiB 503KiB/s 00:03 [############# ] 74.9%  libidn2-2.3.1.tar.gz 2.1MiB 606KiB/s 00:03 [################# ] 95.8%  libidn2-2.3.1.tar.gz 2.1MiB 630KiB/s 00:03 [##################] 100.0%