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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
edk2_0~20131112.2590861a-3.debian.tar.xz10.6 KiB2014-Dec-19 07:33
edk2_0~20131112.2590861a-3.dsc1.7 KiB2014-Dec-19 07:33
edk2_0~20131112.2590861a.orig.tar.xz10.4 MiB2014-Jan-30 12:13
ovmf_0~20131112.2590861a-3_all.deb913.5 KiB2014-Dec-19 07:33