grazzolini [1] filed a deletion request for edk2-ovmf [2]: The package exists on the official repositories with the same name. [1] https://aur.archlinux.org/account/grazzolini/ [2] https://aur.archlinux.org/pkgbase/edk2-ovmf/