PN: gnu-efi PV: 3.0.11 PR: r0 PKGV: 3.0.11 PKGR: r0@EXTENDPRAUTO@ LICENSE: GPLv2+ | BSD-2-Clause DESCRIPTION_gnu-efi-dbg: GNU-EFI aims to Develop EFI applications for ARM-64, ARM-32, x86_64, IA-64 (IPF), IA-32 (x86), and MIPS platforms using the GNU toolchain and the EFI development environment. This package contains ELF symbols and related sources for debugging purposes. SUMMARY_gnu-efi-dbg: Libraries for producing EFI binaries - Debugging files SECTION_gnu-efi-dbg: devel PKG_gnu-efi-dbg: gnu-efi-dbg ALLOW_EMPTY_gnu-efi-dbg: 1 FILES_gnu-efi-dbg: /usr/lib/debug /usr/lib/debug-static /usr/src/debug FILES_INFO: {} PKGSIZE_gnu-efi-dbg: 0