../ edk2_0~20121205.edae8d2d-2.debian.tar.gz 25-Sep-2013 03:59 11955 edk2_0~20121205.edae8d2d-2.dsc 26-Sep-2013 07:20 2062 edk2_0~20121205.edae8d2d.orig.tar.xz 10-Feb-2013 08:07 10700612 ovmf_0~20121205.edae8d2d-2_all.deb 25-Sep-2013 03:59 816694