Guix, Cool hack though it was, I propose to remove the broken ‘corrode’ package. This is your chance to protest by fixing it! With the patches below applied corrode still fails to build as it does elsewhere: . The code hasn't seen commits since 2017, nor did I find any newer posts by the author on their GitHub issue tracker. The project is quite dead. Kind regards, T G-R