/debian/pool/non-free/e/edk2/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
edk2_0~20131112.2590861a-3.dsc 170219-Dec-2014 08:33
edk2_0~20131112.2590861a-3.debian.tar.xz 11K19-Dec-2014 08:33
ovmf_0~20131112.2590861a-3_all.deb 913K19-Dec-2014 08:33
edk2_0~20131112.2590861a.orig.tar.xz 10M30-Jan-2014 13:13