../ edk2_0~20131029.2f34e065-1.debian.tar.gz 12-Jan-2014 00:03 10323 edk2_0~20131029.2f34e065-1.dsc 12-Jan-2014 00:03 2062 edk2_0~20131029.2f34e065.orig.tar.xz 12-Jan-2014 00:03 10859544 ovmf_0~20131029.2f34e065-1_all.deb 12-Jan-2014 00:03 924050