# Generated by makepkg 6.0.2
# using fakeroot version 1.32.2
pkgname = edk2-shell
pkgbase = edk2
pkgver = 202311-1
pkgdesc = EDK2 UEFI Shell
url = https://github.com/tianocore/edk2
builddate = 1700835766
packager = David Runge <dvzrv@archlinux.org>
size = 7306461
arch = any
license = Apache-2.0
license = BSD-2-Clause-Patent
license = MIT
provides = uefi-shell
makedepend = aarch64-linux-gnu-gcc
makedepend = arm-none-eabi-gcc
makedepend = acpica
makedepend = git
makedepend = util-linux-libs
makedepend = nasm
makedepend = python
makedepend = seabios
