@mousebot Ahah! I've not read my thread…

Maybe we have the same problem with the same repository with @civodul. Maybe it’s about #GuixScience… 😀

Thanks for the pointer.