../ gnu-efi_3.0v-5.debian.tar.xz 27-Sep-2017 16:55 6292 gnu-efi_3.0v-5.dsc 27-Sep-2017 16:55 1331 gnu-efi_3.0v-5_amd64.deb 27-Sep-2017 16:10 111K gnu-efi_3.0v-5_i386.deb 27-Sep-2017 17:32 111K gnu-efi_3.0v.orig.tar.xz 27-Sep-2017 16:55 111K