Index of /professional/pool/main/g/gnu-efi/

../
gnu-efi_3.0.3-2.debian.tar.xz                      29-Nov-2015 19:37                6424
gnu-efi_3.0.3-2.dsc                                29-Nov-2015 19:37                1909
gnu-efi_3.0.3-2_amd64.deb                          29-Nov-2015 20:18              128228
gnu-efi_3.0.3-2_i386.deb                           29-Nov-2015 20:18              128276
gnu-efi_3.0.3.orig.tar.bz2                         18-Nov-2015 04:07              142229
gnu-efi_3.0.4-2.debian.tar.xz                      30-Jun-2016 19:45                8884
gnu-efi_3.0.4-2.dsc                                30-Jun-2016 19:45                1915
gnu-efi_3.0.4-2_amd64.deb                          30-Jun-2016 20:46              130082
gnu-efi_3.0.4-2_i386.deb                           30-Jun-2016 21:01              130004
gnu-efi_3.0.4.orig.tar.bz2                         30-Jun-2016 17:54              143148