Index of /debian-ports/pool-hppa/main/g/grub-customizer
Name
Last modified
Size
Description
Parent Directory
-
grub-customizer-dbgsym_5.2.3-1+b1_hppa.deb
2024-03-25 07:03
6.3M
grub-customizer_5.2.3-1+b1_hppa.buildinfo
2024-03-25 07:03
15K
grub-customizer_5.2.3-1+b1_hppa.deb
2024-03-25 07:03
663K
Apache/2.4.38 (Debian) Server at debian.polytech-lille.fr Port 80