../ gnu-efi_3.0i-3.diff.gz 19-Apr-2012 01:00 4580 gnu-efi_3.0i-3.dsc 19-Apr-2012 01:00 1101 gnu-efi_3.0i.orig.tar.gz 19-Apr-2012 01:00 135068 gnu-efi_3.0s+debian-3.debian.tar.xz 10-Mar-2013 19:51 5288 gnu-efi_3.0s+debian-3.dsc 10-Mar-2013 19:51 1235 gnu-efi_3.0s+debian.orig.tar.xz 11-Dec-2012 06:24 100032