/debian-ports/pool-sh4/main/g/grub-customizer/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
grub-customizer-dbgsym_5.2.8-1_sh4.deb	8.9 MiB	19.05.2026 12:03
grub-customizer_5.2.8-1_sh4.deb	762.3 KiB	19.05.2026 12:03
grub-customizer_5.2.8-1_sh4.buildinfo	14.7 KiB	19.05.2026 12:03