Starting download of /gnu/store/0gfgny4jzxd06spcpbr5zk28096npqm2-llvm-7.0.1.src.tar.xz
From https://github.com/llvm/llvm-project/releases/download/llvmorg-7.0.1/llvm-7.0.1.src.tar.xz...
download failed "https://github.com/llvm/llvm-project/releases/download/llvmorg-7.0.1/llvm-7.0.1.src.tar.xz" 404 "Not Found"

Starting download of /gnu/store/0gfgny4jzxd06spcpbr5zk28096npqm2-llvm-7.0.1.src.tar.xz
From https://ci.guix.gnu.org/file/llvm-7.0.1.src.tar.xz/sha256/16s196wqzdw4pmri15hadzqgdi926zln3an2viwyq0kini6zr3d3...

 …926zln3an2viwyq0kini6zr3d3  27.0MiB     0B/s 00:00 [                  ]   0.0%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 907KiB/s 00:00 [                  ]   0.2%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 1.6MiB/s 00:00 [                  ]   2.1%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 2.7MiB/s 00:01 [#                 ]   5.6%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 2.8MiB/s 00:01 [#                 ]   8.1%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 2.9MiB/s 00:01 [#                 ]  10.6%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:01 [##                ]  13.2%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:01 [##                ]  15.5%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:02 [###               ]  17.8%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:02 [###               ]  20.4%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:02 [####              ]  22.9%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:02 [####              ]  25.2%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:02 [####              ]  27.5%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:03 [#####             ]  29.9%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:03 [#####             ]  32.2%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:03 [######            ]  34.5%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:03 [######            ]  36.8%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:04 [#######           ]  39.1%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:04 [#######           ]  41.4%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:04 [#######           ]  43.8%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:04 [########          ]  46.1%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:04 [########          ]  48.4%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:05 [#########         ]  50.7%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:05 [#########         ]  52.8%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:05 [#########         ]  55.3%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:05 [##########        ]  57.9%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:05 [##########        ]  60.4%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:06 [###########       ]  63.0%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:06 [###########       ]  65.3%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:06 [############      ]  67.6%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:06 [############      ]  69.9%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:06 [#############     ]  72.2%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:07 [#############     ]  74.5%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:07 [#############     ]  76.9%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:07 [##############    ]  79.2%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:07 [##############    ]  81.5%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:08 [###############   ]  83.8%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:08 [###############   ]  86.1%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:08 [###############   ]  88.4%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:08 [################  ]  90.5%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:08 [################  ]  92.6%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:09 [################# ]  94.7%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:09 [################# ]  96.8%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:09 [################# ]  98.8%
 …926zln3an2viwyq0kini6zr3d3  27.0MiB 3.0MiB/s 00:09 [##################] 100.0%