Subject: bug#42561: closed (Re: bug#42561: arm-none-eabi-toolchain fails to build)

From: [email-masked] (GNU bug Tracking System)
Date: Thu, 30 Jul 2020 15:09:02 +0000

Your bug report

#42561: arm-none-eabi-toolchain fails to build

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 [email-masked].

-- 
42561: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42561
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#42561: arm-none-eabi-toolchain fails to build
From: Mathieu Othacehe <[email-masked]>
To: Efraim Flashner <[email-masked]>
Cc: [email-masked], Jan Wielkiewicz <[email-masked]>
Date: Thu, 30 Jul 2020 17:08:31 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Closing this one, thanks to both of you!

Mathieu

Subject: arm-none-eabi-toolchain fails to build
From: Jan Wielkiewicz <[email-masked]>
To: [email-masked]
Date: Mon, 27 Jul 2020 18:00:32 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

it seems arm-none-eabi-toolchain fails to build.
I'm attaching the log below.

Jan Wielkiewicz