Index of /professional/pool/main/e/edk2/

../
edk2_0~20161202.7bbe0b3e-1.debian.tar.xz           09-Dec-2016 18:13               12932
edk2_0~20161202.7bbe0b3e-1.dsc                     09-Dec-2016 18:13                2208
edk2_0~20161202.7bbe0b3e.orig.tar.xz               09-Dec-2016 18:13            14801028
ovmf_0~20161202.7bbe0b3e-1_all.deb                 09-Dec-2016 18:13             1045676
qemu-efi_0~20161202.7bbe0b3e-1_all.deb             09-Dec-2016 18:13             1716100