Index of /professional/pool/non-free/e/edk2/

../
edk2_0~20160104.c2a892d7-1.debian.tar.xz           28-Jan-2016 10:01               12436
edk2_0~20160104.c2a892d7-1.dsc                     28-Jan-2016 10:01                2154
edk2_0~20160104.c2a892d7.orig.tar.xz               28-Jan-2016 10:01            14419608
ovmf_0~20160104.c2a892d7-1_all.deb                 28-Jan-2016 10:01             1058980
qemu-efi_0~20160104.c2a892d7-1_all.deb             28-Jan-2016 10:01              658668