../ gnu-efi_3.0.9-1.debian.tar.xz 11-Apr-2020 06:01 8080 gnu-efi_3.0.9-1.dsc 11-Apr-2020 06:01 1940 gnu-efi_3.0.9-1_amd64.deb 11-Apr-2020 06:01 139620 gnu-efi_3.0.9-1_i386.deb 11-Apr-2020 06:01 139624 gnu-efi_3.0.9.orig.tar.bz2 11-Apr-2020 06:01 154445