# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = edk2-shell
pkgbase = edk2
xdata = pkgtype=split
pkgver = 202505-1
pkgdesc = EDK2 UEFI Shell
url = https://github.com/tianocore/edk2
builddate = 1755632717
packager = David Runge <dvzrv@archlinux.org>
size = 7670135
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
