Index of /pool/main/g/gnu-efi
Name
Last modified
Size
Parent Directory
-
gnu-efi_3.0d-1ubuntu1.dsc
2007-12-05 20:03
733
gnu-efi_3.0d-1ubuntu1.diff.gz
2007-12-05 20:03
25K
gnu-efi_3.0d-1ubuntu1_lpia.deb
2007-12-05 21:03
110K
gnu-efi_3.0d.orig.tar.gz
2007-12-05 20:03
117K
Apache/2.4.41 (Ubuntu) Server at hpmini.archive.canonical.com Port 80