# Generated by makepkg 6.0.1
# using fakeroot version 1.29
pkgname = edk2-shell
pkgbase = edk2
pkgver = 202208-2
pkgdesc = EDK2 UEFI Shell
url = https://github.com/tianocore/edk2
builddate = 1666139641
packager = Konstantin Gizdov <arch@kge.pw>
size = 4637858
arch = any
license = BSD
provides = uefi-shell
makedepend = aarch64-linux-gnu-gcc
makedepend = acpica
makedepend = git
makedepend = iasl
makedepend = util-linux-libs
makedepend = nasm
makedepend = python
makedepend = seabios
