../ gnu-efi_3.0.9-1.debian.tar.xz 22-Oct-2018 11:57 8080 gnu-efi_3.0.9-1.dsc 22-Oct-2018 11:57 1940 gnu-efi_3.0.9-1_armhf.deb 27-Oct-2018 10:08 106532 gnu-efi_3.0.9.orig.tar.bz2 22-Oct-2018 11:57 154445