HI Simon,

> Could you share the channels.scm file?

Attached.

> Because the mention of ’guix-science’ means third-party channels, I
> guess.  And maybe there is something tricky when mixing different
> specific pinned channels.

I thought about that as well, but the behavior should still be the same
on every machine, right? For me, the attached channels.scm works fine.

Cheers,
  Konrad.