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

../
edk2_0~20161202.7bbe0b3e-1.debian.tar.xz           09-Dec-2016 18:13     13K
edk2_0~20161202.7bbe0b3e-1.dsc                     09-Dec-2016 18:13    2208
edk2_0~20161202.7bbe0b3e.orig.tar.xz               09-Dec-2016 18:13     14M
ovmf_0~20161202.7bbe0b3e-1_all.deb                 09-Dec-2016 18:13   1021K
qemu-efi_0~20161202.7bbe0b3e-1_all.deb             09-Dec-2016 18:13      2M