Hi Felix, On Fri, 23 Jun 2023 14:18:30 +0800, Felix Lechner via Development of GNU Guix and the GNU System distribution. wrote: > substituting > /gnu/store/mm2bdrcapk20f7mim4p6xdcj02nl3d35-u-boot-2022.10.tar.xz...
You can download the tarball with "build --source", optionally with "--no-substitutes" if the substitute still doesn't work for you. guix build --source u-boot-sandbox --8<---------------cut here---------------start------------->8--- substitute: updating substitutes from 'https://mirror.sjtu.edu.cn/guix'... 100.0% 15.9 MB will be downloaded: /gnu/store/mm2bdrcapk20f7mim4p6xdcj02nl3d35-u-boot-2022.10.tar.xz substituting /gnu/store/mm2bdrcapk20f7mim4p6xdcj02nl3d35-u-boot-2022.10.tar.xz... downloading from https://bordeaux-singapore-mirror.cbaines.net/nar/lzip/mm2bdrcapk20f7mim4p6xdcj02nl3d35-u-boot-2022.10.tar.xz ... u-boot-2022.10.tar.xz 15.2MiB 1.7MiB/s 00:09 ▕██████████████████▏ 100.0% /gnu/store/mm2bdrcapk20f7mim4p6xdcj02nl3d35-u-boot-2022.10.tar.xz --8<---------------cut here---------------end--------------->8---
