Name | Last modified | Size |
---|---|---|
Parent Directory | - | |
grub-customizer_5.2.3.orig.tar.gz.asc | 2023-06-16 08:10 | 833 |
grub-customizer_5.2.3.orig.tar.gz | 2023-06-16 08:10 | 560K |
grub-customizer_5.2.3-1_armhf.deb | 2023-09-20 10:08 | 593K |
grub-customizer_5.2.3-1.dsc | 2023-06-16 08:10 | 2.2K |
grub-customizer_5.2.3-1.debian.tar.xz | 2023-06-16 08:10 | 7.0K |
grub-customizer_5.2.2.orig.tar.gz.asc | 2022-09-09 03:30 | 833 |
grub-customizer_5.2.2.orig.tar.gz | 2022-09-09 03:30 | 560K |
grub-customizer_5.2.2-2_armhf.deb | 2022-12-12 16:08 | 593K |
grub-customizer_5.2.2-2.dsc | 2022-12-07 04:47 | 2.2K |
grub-customizer_5.2.2-2.debian.tar.xz | 2022-12-07 04:47 | 6.6K |
grub-customizer_5.1.0.orig.tar.gz | 2018-10-13 16:16 | 564K |
grub-customizer_5.1.0-3_armhf.deb | 2020-09-21 10:08 | 571K |
grub-customizer_5.1.0-3.dsc | 2020-09-19 03:27 | 2.0K |
grub-customizer_5.1.0-3.debian.tar.xz | 2020-09-19 03:27 | 3.3K |
grub-customizer_5.1.0-1_armhf.deb | 2018-11-24 16:08 | 538K |
grub-customizer_5.1.0-1.dsc | 2018-10-13 16:16 | 1.9K |
grub-customizer_5.1.0-1.debian.tar.xz | 2018-10-13 16:16 | 2.8K |