Christopher Howard schreef op za 03-07-2021 om 19:32 [-0800]:
> myself, I have no trouble running it. I'm certain without any research that this is a reproducibility error, due to native instructions not on my processor, but I could do the guix challenge if

$ guix gc --delete /gnu/store/...-lagrange-VERSION

Take note that lagrange must be removed from all profiles first,
and no file from the "lagrange" package may be opened ...

Greetings,
Maxime.