Subject: bug#60719: closed (Re: bug#60719: Acknowledgement (openbios-qemu-ppc fails to build on aarch64))

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 21 Feb 2023 05:19:02 +0000

Your bug report

#60719: openbios-qemu-ppc fails to build on aarch64

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].

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

Subject: Re: bug#60719: Acknowledgement (openbios-qemu-ppc fails to build on aarch64)
From: Andrew Patterson <[email-masked]>
To: [email-masked], [email-masked]
Date: Tue, 21 Feb 2023 00:08:45 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

Fixed as of 042b92edb20648c030dcbaf59acd176731550b70

-- 
Andrew Patterson

Subject: openbios-qemu-ppc fails to build on aarch64
From: Andrew Patterson <[email-masked]>
To: [email-masked]
Date: Tue, 10 Jan 2023 17:35:49 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

openbios-qemu-ppc currently fails to compile on aarch64, with 
build errors about missing __u32 and __u16 types somehow existing 
in a linux header file that includes the header file that defines 
those types.  (Log attached.)

-- 
Andrew Patterson