Hi Tobias, Were you able to "guix pull" successfully? -- Chris