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

 Name                                                      Last modified      Size  Description
 Parent Directory                                                               -   
 grub-customizer_5.1.0.orig.tar.gz                         2019-06-08 16:33  564K  
 grub-customizer_5.1.0-1_i386.deb                          2021-02-22 23:05  650K  
 grub-customizer_5.1.0-1.dsc                               2021-02-22 23:04  1.9K  
 grub-customizer_5.1.0-1.debian.tar.xz                     2021-02-22 23:04  2.8K  
 grub-customizer_5.1.0-0ubuntu1~ppa1x_i386.deb             2019-03-14 14:18  1.2M  
 grub-customizer_5.1.0-0ubuntu1~ppa1x_amd64.deb            2019-03-14 14:18  1.1M  
 grub-customizer_5.1.0-0ubuntu1~ppa1b+pearl7_amd64.deb     2019-06-08 16:45  1.1M  
 grub-customizer_5.1.0-0ubuntu1~ppa1b+pearl7.dsc           2019-06-08 16:33  1.1K  
 grub-customizer_5.1.0-0ubuntu1~ppa1b+pearl7.debian.tar.xz 2019-06-08 16:33  3.3K