Starting download of /gnu/store/ymb9np0m1lrd30qaa1xbiav8jdski55b-mtdev-1.1.6.tar.bz2
From http://bitmath.org/code/mtdev/mtdev-1.1.6.tar.bz2...
In procedure getaddrinfo: Name or service not known

Starting download of /gnu/store/ymb9np0m1lrd30qaa1xbiav8jdski55b-mtdev-1.1.6.tar.bz2
From https://ci.guix.gnu.org/file/mtdev-1.1.6.tar.bz2/sha256/1q700h9dqcm3zl6c3gj0qxxjcx6ibw2c51wjijydhwdcm26v5mqm...
download failed "https://ci.guix.gnu.org/file/mtdev-1.1.6.tar.bz2/sha256/1q700h9dqcm3zl6c3gj0qxxjcx6ibw2c51wjijydhwdcm26v5mqm" 404 "Not Found"

Starting download of /gnu/store/ymb9np0m1lrd30qaa1xbiav8jdski55b-mtdev-1.1.6.tar.bz2
From https://tarballs.nixos.org/sha256/1q700h9dqcm3zl6c3gj0qxxjcx6ibw2c51wjijydhwdcm26v5mqm...
following redirection to `https://tarballs.nixos.org/sha512/859fb0803f330ecaae69f80713ff5a5235c0cb00de6d5ac2717ad82cea856a92b866f0c272ecfe743186abcf925f95585149ba4828b4c91555cfeb2f2a1c98f1'...

 …6ibw2c51wjijydhwdcm26v5mqm  289KiB +nan.0TiB/s 00:00 [                  ]   0.0%
 …6ibw2c51wjijydhwdcm26v5mqm  289KiB  582KiB/s 00:00 [###               ]  22.1%
 …6ibw2c51wjijydhwdcm26v5mqm  289KiB  2.0MiB/s 00:00 [##################] 100.0%