../ gnu-efi_3.0.9-1.debian.tar.xz 22-Oct-2018 19:57 8080 gnu-efi_3.0.9-1.dsc 22-Oct-2018 19:57 1940 gnu-efi_3.0.9-1_amd64.deb 22-Oct-2018 20:27 136K gnu-efi_3.0.9-1_arm64.deb 22-Oct-2018 20:27 107K gnu-efi_3.0.9-1_i386.deb 22-Oct-2018 20:27 136K gnu-efi_3.0.9.orig.tar.bz2 22-Oct-2018 19:57 151K