Index of /pool/main/g/grub-customizer

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 grub-customizer_5.2.5.orig.tar.gz.asc 2024-06-12 16:21  833   
 grub-customizer_5.2.5.orig.tar.gz     2024-06-12 16:21  557K  
 grub-customizer_5.2.5-1_amd64.deb     2024-06-12 17:01  734K  
 grub-customizer_5.2.5-1.dsc           2024-06-12 16:21  2.2K  
 grub-customizer_5.2.5-1.debian.tar.xz 2024-06-12 16:21  7.1K  
 grub-customizer_5.2.5-1+b1_arm64.deb  2024-10-30 10:30  682K