Starting download of /gnu/store/01gv58k58m7vnmb66n9gmsajmjns5diz-pcre-8.45.tar.bz2 From https://ftp.pcre.org/pub/pcre/pcre-8.45.tar.bz2... In procedure getaddrinfo: Name or service not known Starting download of /gnu/store/01gv58k58m7vnmb66n9gmsajmjns5diz-pcre-8.45.tar.bz2 From https://ci.guix.gnu.org/file/pcre-8.45.tar.bz2/sha256/1f7zichy6iimmkfrqdl575sdlm795cyc75szgg1vc2xvsbf6zbjd...  …795cyc75szgg1vc2xvsbf6zbjd 1.5MiB +nan.0TiB/s 00:00 [ ] 0.0%  …795cyc75szgg1vc2xvsbf6zbjd 1.5MiB 1.0MiB/s 00:00 [ ] 4.2%  …795cyc75szgg1vc2xvsbf6zbjd 1.5MiB 2.6MiB/s 00:00 [######## ] 45.7%  …795cyc75szgg1vc2xvsbf6zbjd 1.5MiB 3.3MiB/s 00:00 [################# ] 99.6%  …795cyc75szgg1vc2xvsbf6zbjd 1.5MiB 3.3MiB/s 00:00 [##################] 100.0%