Name Last modified Size Description
Parent Directory -
grub-customizer_5.1.0-3.debian.tar.xz 2020-09-19 04:27 3.3K
grub-customizer_5.1.0-3.dsc 2020-09-19 04:27 2.0K
grub-customizer_5.1.0-3_amd64.deb 2020-09-19 05:12 660K
grub-customizer_5.1.0-3_arm64.deb 2020-09-19 05:12 612K
grub-customizer_5.1.0-3_armhf.deb 2020-09-19 05:12 597K
grub-customizer_5.1.0-3_i386.deb 2020-09-19 05:12 688K
grub-customizer_5.1.0.orig.tar.gz 2018-11-24 12:00 564K