Hi,

FYI, I was able to successfully "guix pull" from 83f8b6d (Apr 09) to
c33e200 (Jul 02) just now on my own POWER9 machine (a Blackbird).

-- 
Chris