Index of /pub/linux/ubuntu/ports/pool/universe/g/grub-customizer

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 grub-customizer_5.1.0-2.debian.tar.xz    2020-02-25 14:24  3.1K  
 grub-customizer_5.1.0-2.dsc              2020-02-25 14:24  2.0K  
 grub-customizer_5.1.0-2_arm64.deb        2020-02-25 14:33  607K  
 grub-customizer_5.1.0-2_armhf.deb        2020-02-25 14:33  600K  
 grub-customizer_5.1.0-2_ppc64el.deb      2020-02-25 14:26  666K  
 grub-customizer_5.1.0-2_riscv64.deb      2020-04-05 10:43  664K  
 grub-customizer_5.1.0-2_s390x.deb        2020-02-25 14:26  611K  
 grub-customizer_5.1.0.orig.tar.gz        2018-11-24 03:00  564K