../ grub-customizer-dbgsym_5.0.6-1mx17+1_amd64.deb 23-Oct-2018 16:39 308310 grub-customizer-dbgsym_5.0.6-1mx17+1_i386.deb 23-Oct-2018 16:40 300226 grub-customizer_5.0.6-1mx17+1_amd64.deb 23-Oct-2018 16:39 1161782 grub-customizer_5.0.6-1mx17+1_i386.deb 23-Oct-2018 16:39 1224048