Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
grub-customizer_5.1.0-1.debian.tar.xz | 13-Oct-2018 18:16 | 2.8K | |
grub-customizer_5.1.0-1.dsc | 13-Oct-2018 18:16 | 1.9K | |
grub-customizer_5.1.0-1_armhf.deb | 24-Nov-2018 17:08 | 538K | |
grub-customizer_5.1.0-2+b1_armhf.deb | 25-Jul-2020 12:08 | 578K | |
grub-customizer_5.1.0-2.debian.tar.xz | 24-Feb-2020 19:02 | 3.1K | |
grub-customizer_5.1.0-2.dsc | 24-Feb-2020 19:02 | 2.0K | |
grub-customizer_5.1.0.orig.tar.gz | 13-Oct-2018 18:16 | 564K |