# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = edk2-ovmf-fedora-bin
pkgbase = edk2-ovmf-fedora-bin
xdata = pkgtype=pkg
pkgver = 20250523-1
pkgdesc = UEFI firmware for x86_64 virtual machines from Fedora 42 — pre-configured with Secure Boot
url = https://packages.fedoraproject.org/pkgs/edk2/edk2-ovmf/
builddate = 1759077565
packager = Unknown Packager
size = 38642888
arch = any
license = BSD
