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

 Name                           Last modified      Size  
 Parent Directory                                    -   
 gnu-efi_3.0.15-1.debian.tar.xz 2024-10-13 08:19  7.6K  
 gnu-efi_3.0.15-1.dsc           2024-10-13 08:19  2.0K  
 gnu-efi_3.0.15-1_amd64.deb     2024-06-30 04:27  137K  
 gnu-efi_3.0.15.orig.tar.bz2    2024-10-13 08:19  156K  
 gnu-efi_3.0.18-1.debian.tar.xz 2024-10-13 08:19  7.7K  
 gnu-efi_3.0.18-1.dsc           2024-10-13 08:19  2.1K  
 gnu-efi_3.0.18-1_amd64.deb     2024-08-18 16:19  334K  
 gnu-efi_3.0.18.orig.tar.bz2    2024-10-13 08:19  164K  
 gnu-efi_3.0.9-1.debian.tar.xz  2024-10-13 08:19  7.9K  
 gnu-efi_3.0.9-1.dsc            2024-10-13 08:19  1.9K  
 gnu-efi_3.0.9-2.debian.tar.xz  2021-02-04 12:15  8.1K  
 gnu-efi_3.0.9-2.dsc            2021-02-04 12:15  2.0K  
 gnu-efi_3.0.9-2_amd64.deb      2021-02-04 12:40  137K  
 gnu-efi_3.0.9.orig.tar.bz2     2024-10-13 08:19  151K  

This mirror is brought to you by HR-Tech and Heiko Richter