Hi Leo, I've responded to the feedback from you, Hartmut, and John. How does the latest patch look? It's available here: https://lists.gnu.org/archive/html/guix-devel/2016-12/msg00707.html -- Chris