PN: gnu-efi
PV: 3.0.14
PR: r0
PKGV: 3.0.14
PKGR: r0.0
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.14-r0.0)
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:gnu-efi-dev: {"/usr/include/efi/aarch64/efibind.h": 5275, "/usr/include/efi/aarch64/efilibplat.h": 263, "/usr/include/efi/aarch64/efisetjmp_arch.h": 481, "/usr/include/efi/efi.h": 1659, "/usr/include/efi/efi_nii.h": 2635, "/usr/include/efi/efi_pxe.h": 47623, "/usr/include/efi/efiapi.h": 25311, "/usr/include/efi/eficompiler.h": 483, "/usr/include/efi/eficon.h": 9382, "/usr/include/efi/eficonex.h": 3483, "/usr/include/efi/efidebug.h": 16716, "/usr/include/efi/efidef.h": 5231, "/usr/include/efi/efidevp.h": 22287, "/usr/include/efi/efierr.h": 2162, "/usr/include/efi/efifs.h": 2540, "/usr/include/efi/efigpt.h": 1866, "/usr/include/efi/efiip.h": 12939, "/usr/include/efi/efilib.h": 23221, "/usr/include/efi/efilink.h": 3998, "/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": 44361, "/usr/include/efi/efipxebc.h": 16602, "/usr/include/efi/efirtlib.h": 2866, "/usr/include/efi/efiser.h": 3595, "/usr/include/efi/efisetjmp.h": 274, "/usr/include/efi/efishell.h": 11677, "/usr/include/efi/efishellintf.h": 2556, "/usr/include/efi/efistdarg.h": 528, "/usr/include/efi/efitcp.h": 10133, "/usr/include/efi/efiudp.h": 7235, "/usr/include/efi/efiui.h": 1477, "/usr/include/efi/lib.h": 1787, "/usr/include/efi/libsmbios.h": 3395, "/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": 11504}
PKGSIZE:gnu-efi-dev: 360687
