PN: grub-efi
PV: 2.12
PR: r0
PKGV: 2.12
PKGR: r0.9
LICENSE: GPL-3.0-only
DESCRIPTION:grub-efi-dev: GRUB2 is the next generaion of a GPLed bootloader intended to unify bootloading across x86 operating systems. In addition to loading the Linux kernel, it implements the Multiboot standard, which allows for flexible loading of multiple boot images.  This package contains symbolic links, header files, and related items necessary for software development.
SUMMARY:grub-efi-dev: GRUB2 is the next-generation GRand Unified Bootloader - Development files
RRECOMMENDS:grub-efi-dev: grub-efi (= 2.12-r0.9) grub-common-dev virtual-grub-bootconf-dev
SECTION:grub-efi-dev: devel
PKG:grub-efi-dev: grub-efi-dev
ALLOW_EMPTY:grub-efi-dev: 1
FILES:grub-efi-dev: /usr/include /usr/lib/lib*.so /usr/lib/lib*.so /usr/lib/*.la                 /usr/lib/*.o /usr/lib/pkgconfig /usr/share/pkgconfig                 /usr/share/aclocal /usr/lib/*.o                 /usr/lib/grub-efi/*.la /usr/lib/*.la                 /usr/lib/cmake /usr/share/cmake
FILES_INFO:grub-efi-dev: {}
PKGSIZE:grub-efi-dev: 0
