Evaluation #8738

InputCommit
https://git.savannah.gnu.org/git/guix.gite4696c69d75f4fcf54c42beeb928032726bdaf7d

Builds of evaluation #8738