../ efitools_1.8.1-1.debian.tar.xz 18-Dec-2018 11:50 4184 efitools_1.8.1-1.dsc 18-Dec-2018 11:50 1993 efitools_1.8.1-1_amd64.deb 18-Dec-2018 16:50 133732 efitools_1.8.1.orig.tar.gz 18-Dec-2018 11:50 115319