Index of /pub/linux/debian-archive/debian/pool/non-free/e/edk2/

Filename	Modification time	Size
edk2_0~20131112.2590861a-3.debian.tar.xz	2014-12-19 08:33 CET	11 KiB
edk2_0~20131112.2590861a-3.dsc	2014-12-19 08:33 CET	1702 B
edk2_0~20131112.2590861a.orig.tar.xz	2014-01-30 13:13 CET	10 MiB
ovmf_0~20131112.2590861a-3_all.deb	2014-12-19 08:33 CET	913 KiB