../ efitools_1.8.1-1.debian.tar.xz 18-Dec-2018 14:50 4184 efitools_1.8.1-1.dsc 18-Dec-2018 14:50 1993 efitools_1.8.1-1_amd64.deb 18-Dec-2018 19:50 131K efitools_1.8.1-1_i386.deb 18-Dec-2018 19:55 126K efitools_1.8.1.orig.tar.gz 18-Dec-2018 14:50 113K