../ gnu-efi_3.0v-5.debian.tar.xz 10-Mar-2016 12:53 6292 gnu-efi_3.0v-5.dsc 10-Mar-2016 12:53 1331 gnu-efi_3.0v-5_amd64.deb 10-Mar-2016 13:40 111K gnu-efi_3.0v-5_i386.deb 10-Mar-2016 13:32 111K gnu-efi_3.0v.orig.tar.xz 10-Mar-2016 12:53 111K