Index of /ubuntu/pool/universe/g/grub-customizer/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
grub-customizer_5.1.0-1.debian.tar.xz 28882018-Nov-23 18:00
grub-customizer_5.1.0-1.dsc 19852018-Nov-23 18:00
grub-customizer_5.1.0-1_amd64.deb 6326762018-Nov-24 07:38
grub-customizer_5.1.0-1_i386.deb 6628562018-Nov-24 07:38
grub-customizer_5.1.0.orig.tar.gz 5780462018-Nov-23 18:00