../ edk2_0~20131112.2590861a-1.debian.tar.gz 30-Jan-2014 12:13 10367 edk2_0~20131112.2590861a-1.dsc 30-Jan-2014 12:13 2045 edk2_0~20131112.2590861a.orig.tar.xz 30-Jan-2014 12:13 10877900 ovmf_0~20131112.2590861a-1_all.deb 30-Jan-2014 12:13 929152