Name Last modified Size Description
Parent Directory - grub-customizer_5.0.7-1~mx17+1.debian.tar.xz 2017-12-30 16:11 3.3K grub-customizer_5.0.7-1~mx17+1.dsc 2017-12-30 16:11 1.6K grub-customizer_5.0.7-1~mx17+1_i386.deb 2017-12-30 16:11 659K grub-customizer_5.0.7-1~mx17+1_amd64.deb 2017-12-30 16:12 632K grub-customizer-dbgsym_5.0.7-1~mx17+1_amd64.deb 2017-12-30 16:12 5.1M grub-customizer-dbgsym_5.0.7-1~mx17+1_i386.deb 2017-12-30 16:12 4.9M