From guix-devel.