architecture: all component: main package: efi-shell-riscv64 priority: optional section: misc srcpkg_name: edk2 srcpkg_version: 2024.08-4 version: 2024.08-4