PV = 3.0.17
PR = r0
RPROVIDES = 
RDEPENDS = gnu-efi-dev (= 3.0.17-r0)
RRECOMMENDS = 
PKGSIZE = 374546
FILES = /usr/lib/*.a /lib/*.a /usr/lib/gnu-efi/*.a
FILELIST = /usr/lib/libefi.a /usr/lib/libgnuefi.a