Evaluation #3803

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

Builds of evaluation #3803