PN: gnu-efi
PV: 3.0.11
PR: r0
PKGV: 3.0.11
PKGR: r0
LICENSE: GPLv2+ | BSD-2-Clause
DESCRIPTION_gnu-efi-dev: 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 symbolic links, header files, and related items necessary for software development.
SUMMARY_gnu-efi-dev: Libraries for producing EFI binaries - Development files
RDEPENDS_gnu-efi-dev: gnu-efi (= 3.0.11-r0)
SECTION_gnu-efi-dev: devel
PKG_gnu-efi-dev: gnu-efi-dev
ALLOW_EMPTY_gnu-efi-dev: 1
FILES_gnu-efi-dev: /usr/include /lib/lib*.so /usr/lib/lib*.so /usr/lib/*.la                 /usr/lib/*.o /usr/lib/pkgconfig /usr/share/pkgconfig                 /usr/share/aclocal /lib/*.o                 /usr/lib/gnu-efi/*.la /lib/*.la                 /usr/lib/cmake /usr/share/cmake
FILES_INFO: {"/usr/include/efi/aarch64/efibind.h": 5250, "/usr/include/efi/aarch64/efilibplat.h": 263, "/usr/include/efi/aarch64/efisetjmp_arch.h": 481, "/usr/include/efi/efi.h": 1058, "/usr/include/efi/efi_nii.h": 2635, "/usr/include/efi/efi_pxe.h": 47623, "/usr/include/efi/efiapi.h": 24923, "/usr/include/efi/eficompiler.h": 483, "/usr/include/efi/eficon.h": 9382, "/usr/include/efi/efidebug.h": 16716, "/usr/include/efi/efidef.h": 5231, "/usr/include/efi/efidevp.h": 19893, "/usr/include/efi/efierr.h": 2111, "/usr/include/efi/efifs.h": 2540, "/usr/include/efi/efigpt.h": 1866, "/usr/include/efi/efiip.h": 12939, "/usr/include/efi/efilib.h": 22051, "/usr/include/efi/efilink.h": 3920, "/usr/include/efi/efinet.h": 10574, "/usr/include/efi/efipart.h": 1175, "/usr/include/efi/efipciio.h": 14401, "/usr/include/efi/efipoint.h": 3426, "/usr/include/efi/efiprot.h": 44030, "/usr/include/efi/efipxebc.h": 16602, "/usr/include/efi/efirtlib.h": 2329, "/usr/include/efi/efiser.h": 3595, "/usr/include/efi/efisetjmp.h": 274, "/usr/include/efi/efishellintf.h": 2556, "/usr/include/efi/efishellparm.h": 2038, "/usr/include/efi/efistdarg.h": 500, "/usr/include/efi/efitcp.h": 10133, "/usr/include/efi/efiudp.h": 7235, "/usr/include/efi/efiui.h": 1477, "/usr/include/efi/libsmbios.h": 3078, "/usr/include/efi/pci22.h": 4618, "/usr/include/efi/protocol/adapterdebug.h": 503, "/usr/include/efi/protocol/eficonsplit.h": 556, "/usr/include/efi/protocol/efidbg.h": 6634, "/usr/include/efi/protocol/efivar.h": 3859, "/usr/include/efi/protocol/intload.h": 394, "/usr/include/efi/protocol/legacyboot.h": 2494, "/usr/include/efi/protocol/piflash64.h": 3870, "/usr/include/efi/protocol/vgaclass.h": 1914, "/usr/include/efi/romload.h": 724, "/usr/lib/crt0-efi-aarch64.o": 11288}
PKGSIZE_gnu-efi-dev: 339642