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

 Name                                  Last modified      Size  
 Parent Directory                                           -   
 grub-customizer_5.1.0-3.debian.tar.xz 2020-09-19 05:27  3.3K  
 grub-customizer_5.1.0-3.dsc           2020-09-19 05:27  2.0K  
 grub-customizer_5.1.0-3_amd64.deb     2020-09-19 06:12  660K  
 grub-customizer_5.1.0.orig.tar.gz     2018-10-13 18:16  564K  
 grub-customizer_5.2.2-2.debian.tar.xz 2024-10-13 08:32  6.6K  
 grub-customizer_5.2.2-2.dsc           2024-10-13 08:32  2.2K  
 grub-customizer_5.2.2-2_amd64.deb     2024-06-30 04:38  680K  
 grub-customizer_5.2.2.orig.tar.gz     2024-10-13 08:32  560K  
 grub-customizer_5.2.2.orig.tar.gz.asc 2024-10-13 08:32  833   
 grub-customizer_5.2.5-1.debian.tar.xz 2024-10-13 08:32  7.1K  
 grub-customizer_5.2.5-1.dsc           2024-10-13 08:32  2.2K  
 grub-customizer_5.2.5-1_amd64.deb     2024-09-08 14:25  734K  
 grub-customizer_5.2.5.orig.tar.gz     2024-10-13 08:32  557K  
 grub-customizer_5.2.5.orig.tar.gz.asc 2024-10-13 08:32  833   

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