Evaluation #9

InputCommit
git://git.savannah.gnu.org/guix.gita3dfe052850257de0a64bec6797f803145903179

Builds of evaluation #9