Re: Merging core-updates?

[Julien Lepiller]

Le Sun, 12 Feb 2023 12:52:51 +0100,
Julien Lepiller <julien@lepiller.eu> a écrit :

> Le Sun, 12 Feb 2023 12:06:14 +0100,
> Andreas Enge <andreas@enge.fr> a écrit :
> 
> I just tried to build mpc on my machine, from core-updates. I get the
> same derivation as the one shown on the data service, and it built
> fine. Maybe there's something wrong with the machines behind bordeaux?
> I probably got substitutes from berlin, for gcc and friends (though I
> built gmp, mpfr and mpc).
> 

And I was able to rebuild (with --check) patch-mesboot. The error looks
a lot like https://issues.guix.gnu.org/49985. We should fix that indeed
:)