So I have trying to pull and install Guix system on a raspberry pi 3 with guix on foreign distro from some days now with problems. Now I saw that 1.4.0rc is out I'm trying to test it. I used the command: sudo -i guix pull --debug=5 --branch=version-1.4.0 --allow-downgrades 2>&1 | tee bug.log regards, Moisés Simón