bug#35561: Fresh install, guix pull exits with error, hash mismatch

[Tobias Geerinckx-Rice]

Ludo',

Ludovic Courtès wrote:
> These 3 files are now available from https://ci.guix.gnu.org as
> substitutes:

Thanks!  I tried to help Calle with this on IRC yesterday but had 
to make due with my own little build farm (which had already 
collected 2 of the 3 files) and scp…

Did you do a fancier version of this, or is there a better 
(automated?) way we could handle this in future?

Kind regards,

T G-R

signature.asc
Description: PGP signature