pkgbase = lib32-gnu-efi-libs
	pkgdesc = Library for building UEFI Applications using GNU toolchain
	pkgver = 3.0.12
	pkgrel = 2
	url = http://sourceforge.net/projects/gnu-efi/
	arch = x86_64
	license = GPL
	makedepends = pciutils
	makedepends = lib32-glibc
	options = !strip
	options = !makeflags
	options = !buildflags
	source = http://download.sourceforge.net/gnu-efi/gnu-efi-3.0.12.tar.bz2
	sha1sums = 46a513b9ba07a8841e5f6b4865a99d1fed081ba1

pkgname = lib32-gnu-efi-libs