| Parent directory/ | - | - |
| grub-customizer_5.1.0-2.debian.tar.xz | 3.1 KiB | 25 Feb 2020 05:24:38 +0000 |
| grub-customizer_5.1.0-2.dsc | 2.0 KiB | 25 Feb 2020 05:24:38 +0000 |
| grub-customizer_5.1.0-2_arm64.deb | 607.4 KiB | 25 Feb 2020 05:33:26 +0000 |
| grub-customizer_5.1.0-2_armhf.deb | 600.1 KiB | 25 Feb 2020 05:33:29 +0000 |
| grub-customizer_5.1.0-2_ppc64el.deb | 666.3 KiB | 25 Feb 2020 05:26:08 +0000 |
| grub-customizer_5.1.0-2_riscv64.deb | 664.4 KiB | 05 Apr 2020 01:43:38 +0000 |
| grub-customizer_5.1.0-2_s390x.deb | 610.7 KiB | 25 Feb 2020 05:26:18 +0000 |
| grub-customizer_5.1.0.orig.tar.gz | 564.5 KiB | 23 Nov 2018 18:00:40 +0000 |
