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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]edk2_0~20131112.2590861a-3.debian.tar.xz2014-12-19 08:33 11K 
[TXT]edk2_0~20131112.2590861a-3.dsc2014-12-19 08:33 1.7K 
[   ]edk2_0~20131112.2590861a.orig.tar.xz2014-01-30 13:13 10M 
[   ]ovmf_0~20131112.2590861a-3_all.deb2014-12-19 08:33 913K 

Apache/2.4.38 (Debian) Server at ftp.si.debian.org Port 80