../ edk2_0~20131112.2590861a-3.debian.tar.xz 19-Dec-2014 04:33 10892 edk2_0~20131112.2590861a-3.dsc 19-Dec-2014 04:33 1702 edk2_0~20131112.2590861a.orig.tar.xz 30-Jan-2014 09:13 10877900 ovmf_0~20131112.2590861a-3_all.deb 19-Dec-2014 04:33 935420