On 31 Oct 2024 at 14:16, Greg Hogan <[email protected]> wrote: > Is there anything for Guix to do here or can the issue be closed? >
I'd say this can be closed as unsolved, at least until some progress is found in https://github.com/thepowersgang/mrustc/issues/78 . Thanks for the follow-up, and best -- Sébastien
