Danny Milosavljevic <dannym@scratchpost.org> writes:

> can we give thepowersgang (author of mrustc) an ssh account on a guix machine
> reachable from the internet, for debugging this problem?
>
> It would be good if "guix build -K" kept the sources on that machine.

Is/are the thepowersgang still willing to help us out?  Ludo, what do
you think about Danny's request?

While we wait, thepowersgang can in theory install Guix as usual on any
GNU/Linux system and reproduce the issue, right Danny?  If you're in
touch with them, maybe you could suggest that.

-- 
Chris