# Generated by makepkg 6.0.2
# Tue Sep 12 00:19:45 UTC 2023
pkgbase = gnu-efi
	pkgdesc = Develop EFI applications using the GNU toolchain and the EFI development environment
	pkgver = 3.0.15
	pkgrel = 1.1
	url = https://sourceforge.net/projects/gnu-efi/
	arch = x86_64
	license = BSD
	provides = gnu-efi-libs=3.0.15
	conflicts = gnu-efi-libs
	replaces = gnu-efi-libs
	options = !strip
	source = https://download.sourceforge.net/gnu-efi/gnu-efi-3.0.15.tar.bz2
	sha512sums = 64d408b6d115bdc6eebae12fbd6cd907ed5f847f54e506c1e8f8ea5de38a95cf6fac66ab1009bd1d0bd2d54ad45ad598d29bcc303926a5899bf5cc25448cbb2f
	b2sums = 0df93d8cacfa1e6d4b7731e32287d4386da9375c5e5c5847df8a29c99d70f5c24b14abc5e44ab9d0a39a6ec96682eb2b5e84d81a5a142d44a50a522a4ae0e3c2

pkgname = gnu-efi
