Dear, The bug #25031 is 3 years old [1] with the tag 'moreinfo'. What is the status? Does it still make sense with a recent Guix version? [1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25031 All the best, simon