# Generated by makepkg 7.1.0
# Fri Sep 18 23:00:49 UTC 2026
pkgbase = gnu-efi
	pkgdesc = Develop EFI applications using the GNU toolchain and the EFI development environment
	pkgver = 4.0.4
	pkgrel = 1
	url = https://github.com/ncroxon/gnu-efi
	arch = x86_64
	arch = aarch64
	license = BSD-2-Clause
	license = BSD-2-Clause-Patent
	license = BSD-3-Clause
	license = BSD-2-Clause OR GPL-2.0-or-later
	license = GPL-3.0-or-later
	license = LGPL-3.0-or-later
	provides = gnu-efi-libs
	conflicts = gnu-efi-libs
	replaces = gnu-efi-libs
	options = !lto
	options = !strip
	source = gnu-efi-4.0.4.tar.gz::https://github.com/ncroxon/gnu-efi/archive/refs/tags/4.0.4.tar.gz
	sha512sums = 4ed273ef8203f1b2fd90855821576523b070236911a26199eec220f1bad34f63759a32b06f11a681e532a2c793339d9e66bcb90e5cde5de02d8842a40c471a06
	b2sums = a636ec81a830206b4d793689b6b4b85ab88b9061224691d47076b096e4502f4625fdc759c351d3e8b0a93fc26c33dd4862c2383d7620bb1704649c275da322f7

pkgname = gnu-efi
