Your bug report #40009: [core-updates PATCH]: Use per-architecture GCC for libstdc++-boot0 which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 40009@debbugs.gnu.org. -- 40009: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40009 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems