# Generated by makepkg 6.1.0
# Thu Jul  2 06:00:11 UTC 2026
pkgbase = gnu-efi
	pkgdesc = Develop EFI applications using the GNU toolchain and the EFI development environment
	pkgver = 3.0.18
	pkgrel = 2
	url = https://sourceforge.net/projects/gnu-efi/
	arch = x86_64
	arch = aarch64
	license = BSD-2-Clause
	provides = gnu-efi-libs
	conflicts = gnu-efi-libs
	replaces = gnu-efi-libs
	options = !lto
	options = !strip
	source = https://download.sourceforge.net/gnu-efi/gnu-efi-3.0.18.tar.bz2
	sha512sums = 39f9fa14b880441a94a04400ff8850efdd9474929e5501dfd05af06e7747b4d0f7cb742ac811c7026cf52d00508efb73018be4d61d63a1211de0cd931cbc473d
	b2sums = e080fa4c57a281452a6473304871304d1b5c30d42ee728b4c0c084258ed2f6f2099c068ec5841cee81ecf664dd658dee3b94d68324ebaa498cb49cec4f7f7df9

pkgname = gnu-efi
