Florian,

Another idea would be to pull on one core
>
> guix pull --cores=1


Thanks for this tip! It did the trick and pull worked. But I don't
understand _why_ it worked. Is there just some extra complexity with M
chips and multiple cores and/or VMs?

Thanks again!
-- 
Eric