# Generated by makepkg 5.0.2
# Wed Aug 27 01:17:29 UTC 2025
pkgbase = gnu-efi
	pkgdesc = Develop EFI applications using the GNU toolchain and the EFI development environment
	pkgver = 3.0.9
	pkgrel = 2
	url = https://sourceforge.net/projects/gnu-efi/
	arch = i686
	arch = x86_64
	license = Simplified-BSD
	makedepends = quilt
	source = https://download.sourceforge.net/gnu-efi/gnu-efi-3.0.9.tar.bz2
	source = https://deb.debian.org/debian/pool/main/g/gnu-efi/gnu-efi_3.0.9-2.debian.tar.xz
	source = gnu-efi-3.0.9-ldflags.patch
	sha512sums = 1a775476fcbe354e57c9db258b1c6ad4346b84d1794178ab5d5195b3ffba250066ca4c42a553d5b2866fa1b4e03019d61df0197f269188c73297042990adf316
	sha512sums = fbee202d818be85b576222157cb5191f301c2962f77ee904f370fb8841a722ea37f8bf919e1f0c7c8889bd0e00c590028d5a24d49eb2b8293583438bdac29350
	sha512sums = 7fd1c8d09ff870c33ae62887b657a7367f85a07f6709d33471ca13117a08e755853fd1e99db492d1db47444b95ae871078c4a913ed70aa7236e49349046e06b6

pkgname = gnu-efi

