../ gnu-efi_3.0s+debian-1ubuntu2.debian.tar.xz 26-Dec-2014 18:57 5732 gnu-efi_3.0s+debian-1ubuntu2.dsc 26-Dec-2014 18:57 2056 gnu-efi_3.0s+debian.orig.tar.xz 26-Dec-2014 18:57 100032 gnu-efi_3.0u+debian-1ubuntu2~13.04.0.debian.tar.xz 26-Dec-2014 18:57 6088 gnu-efi_3.0u+debian-1ubuntu2~13.04.0.dsc 26-Dec-2014 18:57 2014 gnu-efi_3.0u+debian-1ubuntu2~13.04.0_i386.deb 26-Dec-2014 18:57 99370 gnu-efi_3.0u+debian.orig.tar.xz 26-Dec-2014 18:57 109184