Your bug report #28284: GCC 4.7.4 fails to build since April 2017 which was filed against the guix package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 28284@debbugs.gnu.org. -- 28284: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28284 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems