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

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 gnu-efi_3.0.9-1.debian.tar.xz  2018-10-22 13:57  7.9K  
 gnu-efi_3.0.9-1.dsc            2018-10-22 13:57  1.9K  
 gnu-efi_3.0.9.orig.tar.bz2     2018-10-22 13:57  151K  
 gnu-efi_3.0.15-1.debian.tar.xz 2023-01-27 21:44  7.6K  
 gnu-efi_3.0.15-1.dsc           2023-01-27 21:44  2.0K  
 gnu-efi_3.0.15-1_amd64.deb     2023-01-27 22:30  137K  
 gnu-efi_3.0.15.orig.tar.bz2    2023-01-27 21:44  156K